SIREGAR, M. U.; DERRICK, J.; YAZID, A. S. Translations of Embedded Theorems in Z Specifications. IJID (International Journal on Informatics for Development), [S. l.], v. 5, n. 2, p. 26–30, 2016. DOI: 10.14421/ijid.2016.05205. Disponível em: https://ejournal.uin-suka.ac.id/saintek/ijid/article/view/05205. Acesso em: 20 jan. 2025.