Journal papers
Cavalcanti, A; SAMPAIO, A; WOODCOCK, J 'Refinement of Actions in Circus,', Electronic Notes in Theoretical Computer Science, v. 70, p. 132-162, 2002.
CORNELIO, M; Cavalcanti, A; SAMPAIO, A 'Refactoring by Transformation', Electronic Notes in Theoretical Computer Science, v. 70, p. 311-330, 2002.
Mota, A; SAMPAIO, A. C. A. 'Model-checking CSP-Z: strategy, tool support and industrial application', Science of Computer Programming (Print), v. 40, p. 59-96, 2001.
P. Borba; Sampaio, Augusto 'Basic Laws of ROOL: an Object-Oriented Language', Revista de Informática Teórica e Aplicada, v. 7, p. 49-68, 2000.
Cavalcanti, A; Sampaio, Augusto; WOODCOCK, J. 'An inconsistency in procedures, parameters, and substitution in the refinement calculus', Science of Computer Programming (Print), v. 33, p. 87-96, 1999.
Cavalcanti, Ana; Sampaio, Augusto; Woodcock, Jim 'Procedures and Recursion in the Refinement Calculus', Journal of the Brazilian Computer Society (Impresso), v. 5, p. 5-19, 1998.
Campos, Marcilia A.; Sampaio, Augusto C. A.; Brainer, Alexandre H. F. 'Mechanising the theory of intervals using OBJ3????????????? ??????? ? ?????? ?????????? ?????????????? OBJ3', Reliable Computing, v. 2, p. 97-102, 1996.