M. U. Siregar, J. Derrick, and A. S. Yazid, “Translations of Embedded Theorems in Z Specifications”, IJID, vol. 5, no. 2, pp. 26–30, Dec. 2016.