Nazir Ahmad Zafar and Nabeel Sabir and Amir Ali, Construction of Intersection of Nondeterministic Finite Automata using Z Notation. journal = {International Journal of Computer and Information Engineering}, [online]. World Academy of Science, Engineering and Technology. April 2008, vol. 16(4). 1057 - 1062 [viewed 19 September 2024]. Available from: https://publications.waset.org/pdf/12799.