Siregar, M. U.; Derrick, J. A Scanner and Parser for Z Specifications. IJID 2018, 7, 14-20.