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