“Comparative Analysis of Formal Specification Languages Z, VDM and B” (2015) International Journal of Current Engineering and Technology, 5(3), pp. 2086–2091. Available at: https://ijcet.evegenis.org/index.php/ijcet/article/view/2351 (Accessed: 6 April 2026).