Siregar, Maria Ulfah, and John Derrick. 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.