Journal papers
Cabral, Gustavo; Sampaio, Augusto 'Automated formal specification generation and refinement from requirement documents', Journal of the Brazilian Computer Society (Impresso), v. 14, p. 87-106, 2008.
Cavalcanti, Ana; Sampaio, Augusto; Woodcock, Jim 'Unifying classes and processes', Software and Systems Modeling (Print), v. 4, p. 277-296, 2005.
CORNELIO, M; Cavalcanti, A; SAMPAIO, A 'Refactoring Towards a Layered Architecture', Electronic Notes in Theoretical Computer Science, v. 130, p. 281-300, 2005.
SAMPAIO, A; Alexandre Cabral Mota; Rodrigo Ramos 'Class and Capsule Refinement in UML for Real Time', Electronic Notes in Theoretical Computer Science, v. 95, p. 23-51, 2004.
BORBA, P; SAMPAIO, A. C. A.; CAVALCANTI, A.; M. Cornelio 'Algebraic reasoning for object-oriented programming', Science of Computer Programming (Print), v. 52, p. 53-100, 2004.
Silva, Leila; Sampaio, Augusto; Barros, Edna 'A Constructive Approach to Hardware/Software Partitioning', Formal Methods in System Design, v. 24, p. 45-90, 2004.
Cavalcanti, Ana; Sampaio, Augusto; Woodcock, Jim 'A Refinement Strategy for Circus', Formal Aspects of Computing, v. 15, p. 146-181, 2003.