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)

ADVcharts: a graphical specification for abstract data views. - Luiza Marija F. Carneiro-Coffin; Donald D. Cowan; Carlos José Pereira de Lucena (CASCON, 1993)

A Rationale for Both Nesting and Inheritance in Object-Oriented Design. - Luiza Maria F. Carneiro; Donald D. Cowan; Carlos J. P. Lucena (SBES, 1993)

The Semantics of Abstract Data Views: A Design Concept to Support Reuse-in-the-Large. - Paulo S. C. Alencar; Luiza Marija F. Carneiro-Coffin; Donald D. Cowan; Carlos José Pereira de Lucena (COODBSE, 1994)

An Experience Using JASMINUM - Formalization Assisting with the Design of User Interfaces. - Luiza Marija F. Carneiro-Coffin; Donald D. Cowan; Carlos José Pereira de Lucena; Debbie Smith (ICSE Workshop on SE-HCI, 1994)

ADVcharts: a visual formalism for interactive systems. - Luiza Marija F. Carneiro-Coffin; Donald D. Cowan; Carlos J. P. Lucena (ACM SIGCHI Bull., 1994)