Jamal, M., and N. A. Zafar. “Modeling And Formal Specification Of Air Traffic Control System Using Z Notation”. JISR Management and Social Sciences & Economics, vol. 5, no. 2, Dec. 2007, pp. 7-12, doi:10.31384/jisrmsse/2007.05.2.2.