“Comparative Analysis of Formal Specification Languages Z, VDM and B”, Int. J. Curr. Eng. Technol., vol. 5, no. 3, pp. 2086–2091, Jun. 2015, Accessed: Apr. 06, 2026. [Online]. Available: https://ijcet.evegenis.org/index.php/ijcet/article/view/2351