Siregar, M. U.; Derrick, J.; Yazid, A. S. Translations of Embedded Theorems in Z Specifications. IJID 2016, 5, 26-30.