From MooZ to Eiffel - A Rigorous Approach to System Development. - Virgínia A. O. Cordeiro; Augusto Sampaio 001; Silvio Romero de Lemos Meira (FME, 1994)

Um Estudo de Caso Real em Refinamento de Especificações Formais Orientadas a Objetos. - Virgínia A. O. Cordeiro; Augusto Sampaio 001; Silvio R. L. Meira (SBES, 1994)