Comparative Analysis of Formal Specification Languages Z, VDM and B. (2015). International Journal of Current Engineering and Technology, 5(3), 2086-2091. https://ijcet.evegenis.org/index.php/ijcet/article/view/2351