Siregar, M. U., and J. Derrick. “A Scanner and Parser for Z Specifications”. IJID (International Journal on Informatics for Development), vol. 7, no. 1, Nov. 2018, pp. 14-20, doi:10.14421/ijid.2018.07104.