S. Massruhá, M. Ferraretto, F. Máximo, C. Meira, S. Passos, and M. Visoli.
" AEsp: Um Assistente de Especificação", in <em>Proceedings of the 8th Brazilian Symposium on Software Engineering</em>, Curitiba/PR, 1994, pp. 311-324, doi: <a href="https://doi.org/10.5753/sbes.1994.24475">https://doi.org/10.5753/sbes.1994.24475</a>.