Павленко, П. ФОРМАЛІЗАЦІЯ ВИРОБНИЧИХ ОБ’ЄКТІВ В ІНФОРМАЦІЙНОМУ СЕРЕДОВИЩІ ІНТЕГРОВАНИХ АВТОМАТИЗОВАНИХ СИСТЕМ. Proceedings of National Aviation University 2008, 34, 109-112.