1. Britov G. A Method for Formal Definition of PFDD-Diagrams of IDEF3-Technology // Information and Control Systems. 2014. № 2. C. 25-32.