Siregar, M.U., Derrick, J. and Yazid, A.S. 2016. Translations of Embedded Theorems in Z Specifications. IJID (International Journal on Informatics for Development). 5, 2 (Dec. 2016), 26–30. DOI:https://doi.org/10.14421/ijid.2016.05205.