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), pp. 26–30. doi: 10.14421/ijid.2016.05205.