Siregar, Maria Ulfah, and John Derrick. “A Scanner and Parser for Z Specifications”. IJID (International Journal on Informatics for Development) 7, no. 1 (November 28, 2018): 14–20. Accessed January 23, 2025. https://ejournal.uin-suka.ac.id/saintek/ijid/article/view/07104.