M. U. Siregar and J. Derrick, “A Scanner and Parser for Z Specifications”, IJID, vol. 7, no. 1, pp. 14–20, Nov. 2018.