SIREGAR, M. U.; DERRICK, J. A Scanner and Parser for Z Specifications. IJID (International Journal on Informatics for Development), [S. l.], v. 7, n. 1, p. 14–20, 2018. DOI: 10.14421/ijid.2018.07104. Disponível em: https://ejournal.uin-suka.ac.id/saintek/ijid/article/view/07104. Acesso em: 23 jan. 2025.