WASET
    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 28 March 2024]. Available from: https://publications.waset.org/pdf/12799.