Métodos Formais para Desenvolvimento de Software: Um estudo de caso, o projeto GARDEN. - Raul César B. Martins; Gustavo de O. Annarumma; Luiza Maria F. Carneiro; Arnaldo Hilário Viegas de Lima; Paschoal Molinari No.; Elisabete M. B. de la Quintana; Ronaldo Stern (SBES, 1989)

GARDEN - An Integrated and Evolving Environment for ULSI/VLSI CAD Applications. - Arnaldo Hilário Viegas de Lima; Raul César B. Martins; Ronaldo Stern; Luiza Maria F. Carneiro (IBM Syst. J., 1989)

Design Version Management in the GARDEN Framework. - Flávio Rech Wagner; Arnaldo Hilário Viegas de Lima (DAC, 1991)

Design Version Management in the STAR Framework. - Flávio Rech Wagner; Lia Goldstein Golendziner; Jean Lacombe; Arnaldo Hilário Viegas de Lima (Electronic Design Automation Frameworks, 1992)