Refine and Gabriel: Support for Refinement and Tactics. - Marcel Oliveira; Manuela Xavier; Ana Cavalcanti 001 (SEFM, 2004)

Mechanised Refinement of Procedures. - Manuela Xavier; Ana Cavalcanti 001 (SBMF, 2005)

Type Checking Circus Specifications. - Manuela Xavier; Ana Cavalcanti 001; Augusto Sampaio 001 (SBMF, 2006)