Siregar, M. U., J. Derrick, and A. S. Yazid. “Translations of Embedded Theorems in Z Specifications”. IJID (International Journal on Informatics for Development), vol. 5, no. 2, Dec. 2016, pp. 26-30, doi:10.14421/ijid.2016.05205.