Comparative Analysis of Formal Specification Languages Z, VDM and B. International Journal of Current Engineering and Technology, [S. l.], v. 5, n. 3, p. 2086–2091, 2015. Disponível em: https://ijcet.evegenis.org/index.php/ijcet/article/view/2351. Acesso em: 6 apr. 2026.