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