Siregar MU, Derrick J, Yazid AS. Translations of Embedded Theorems in Z Specifications. IJID [Internet]. 2016 Dec. 26 [cited 2025 Jul. 13];5(2):26-30. Available from: https://journal.uin-suka.ac.id/saintek/ijid/article/view/05205