Zafar, N. , Sabir, N. , Ali, A. (2008), 'Construction of Intersection of Nondeterministic Finite Automata using Z Notation', World Academy of Science, Engineering and Technology, Open Science Index 16, International Journal of Computer and Information Engineering, 2(4), 1057 - 1062.