Automatic Refinement of Distributed Systems Specifications Using Program Transformations. - Antônio Carlos Lima de Santana; Antônio Francisco do Prado; Wanderley Lopes de Souza; Marcelo Sant'Anna (COMPSAC, 1998)

Automatic Implementation of Distributed Systems Formal Specifications. - Antônio Carlos Lima de Santana; Luiz Henrique Castelo Branco; Antônio Francisco do Prado; Wanderley Lopes de Souza; Marcelo Sant'Anna (PDPTA, 1999)

A Language for the Description of Program Instrumentation and Automatic Generation of Instrumenters. - Adenilso da Silva Simão; Auri Marcelo Rizzo Vincenzi; Antônio Carlos Lima de Santana (CLEI Electron. J., 2003)