Siregar, Maria Ulfah, John Derrick, and Ahmad Subhan Yazid. “Translations of Embedded Theorems in Z Specifications”. IJID (International Journal on Informatics for Development) 5, no. 2 (December 26, 2016): 26–30. Accessed January 20, 2025. https://ejournal.uin-suka.ac.id/saintek/ijid/article/view/05205.