View of Translations of Embedded Theorems in Z Specifications | IJID (International Journal on Informatics for Development)