View of A Scanner and Parser for Z Specifications | IJID (International Journal on Informatics for Development)