Jamal, M. and Zafar, N.A. 2007. Modeling And Formal Specification Of Air Traffic Control System Using Z Notation. JISR management and social sciences & economics. 5, 2 (Dec. 2007), 7–12. DOI:https://doi.org/10.31384/jisrmsse/2007.05.2.2.