Siregar, Maria Ulfah, John Derrick, and Ahmad Subhan Yazid. 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.