Jamal, Maryam, and Nazir Ahmad Zafar. 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.