2015. Comparative Analysis of Formal Specification Languages Z, VDM and B. International Journal of Current Engineering and Technology. 5, 3 (Jun. 2015), 2086–2091.