Mariusz Maciejewski, Wieslaw Zablocki. Basis of the Formalization and the Algorithmisation of the Control Functions in ATC Systems. In Jerzy Mikulski, editor, Transport Systems Telematics - 10th Conference, TST 2010, Katowice - Ustron, Poland, October 20-23, 2010. Selected Papers. Volume 104 of Communications in Computer and Information Science, pages 253-262, Springer, 2010. [doi]