Siregar MU, Derrick J. A Scanner and Parser for Z Specifications. IJID [Internet]. 2018 Nov. 28 [cited 2025 Jan. 23];7(1):14-20. Available from: https://ejournal.uin-suka.ac.id/saintek/ijid/article/view/07104