AEsp: Um Assistente de Especificação. - Silvia M. F. S. Massruhá; Mário D. Ferraretto; Fernando A. Máximo; Carlos A. Alves Meira; Sérgio L. Z. Passos; Marcos C. Visoli (SBES, 1994)