Britov, G. 2014. A Method for Formal Definition of PFDD-Diagrams of IDEF3-Technology. Information and Control Systems. 2 (Apr. 2014), 25-32.