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