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