1. “Procedural Abstraction in the Refinement Calculus,” Ser. A No. 55. Department of computer Science, Åbo - Finland;Back,1987
2. Software Construction by Stepwise Feature Introduction. ZB 2002: Formal Specification and Development in Z and B, Didier Bert et. al;Back;Lecture Notes in Computer Science,2002
3. Basic Laws of ROOL: an Object-Oriented Language;Borba;Revista de INFORMATICA TEORICA e APLICADA, Institute de Informatica-UFRGS,2000
4. “The basic laws of ROOL,” Technical report, Centre of Informatics-UFPE;Borba,2000
5. A weakest precondition semantics for an object-oriented language of refinement;Cavalcanti;FM'99 - Formal Methods, Lecture Notes in Computer Science,1999