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), pp. 7–12. doi: 10.31384/jisrmsse/2007.05.2.2.