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