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