Rodríguez, M., & Masiero, P. (1990). Apoio por Computador à Criação de Especificações Operacionais. In Proceedings of the 4th Brazilian Symposium on Software Engineering, (pp. 203-217). Porto Alegre: SBC. doi:10.5753/sbes.1990.24177