Бритов, Г.С.: Метод формального описания PFDD-диаграмм idef3-технологии. Информационно-управляющие системы(2), 25-32 (2014)