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