Zafar, N. , Sabir, N. , Ali, A.. "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, (2008), 2(4), 1057 - 1062.