Jamal, M., & Zafar, N. A. (2007). Modeling And Formal Specification Of Air Traffic Control System Using Z Notation. JISR Management and Social Sciences & Economics, 5(2), 7–12. https://doi.org/10.31384/jisrmsse/2007.05.2.2