Rohit Gheyi. A Refinement Theory for Alloy. PhD thesis, Informatics Center, Federal Universisty of Pernambuco, Recife, Brazil. August 2007. (The presentation is here)
Sérgio Soares. An Aspect-Oriented Implementation Method(1.5 Mb). PhD thesis, Informatics Center, Federal Universisty of Pernambuco, Recife, Brazil. October 2004. (The presentation is here)
Leonardo Cole. Deriving Refactorings for AspectJ. Master's thesis, Informatics Center, Federal Universisty of Pernambuco, Recife, Brazil. February 2005.
Rohit Gheyi. Basic Laws of Object Modeling . Master's thesis, Informatics Center, Federal Universisty of Pernambuco, Recife, Brazil. February 2004.
Ayla Débora Dantas de Souza. Structuring Adaptive Applications Using AspectJ . Master's thesis, Informatics Center, Federal Universisty of Pernambuco, Recife, Brazil. February 2004. (The presentation is here)
Eduardo Laureano. Persistence Implementation with AspectJ. Master's thesis, Informatics Center, Federal Universisty of Pernambuco, Recife, Brazil. January 2002.