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