Бритов, Г. С. Метод формального описания PFDD-диаграмм Idef3-технологии. ИУС 2014, 25-32.