M. Rodríguez and P. Masiero. " Apoio por Computador à Criação de Especificações Operacionais", in Anais do IV Simpósio Brasileiro de Engenharia de Software, Águas de São Pedro/São Paulo, 1990, pp. 203-217, doi: https://doi.org/10.5753/sbes.1990.24177.