HOSTOMSKÝ, S.; JELÍNEK, I. A Formal Design Method. Acta Polytechnica, [S. l.], v. 40, n. 3, 2000. Disponível em: https://ojs.cvut.cz/ojs/index.php/ap/article/view/82. Acesso em: 1 may. 2024.