Um Processo de Re-engenharia Econômico e Eficaz. - Luiz Carlos Castro Guedes; Arndt von Staa (SBES, 1993)

Object Oriented Semantics Directed Compiler Generation: A Prototype. - Luiz Carlos Castro Guedes; Edward Hermann Haeusler; José Lucas Rangel (TAPSOFT, 1995)

Action Algebras and Model Algebras in Denotational Semantics. - Luiz Carlos Castro Guedes; Edward Hermann Haeusler (Semantics and Algebraic Specification, 2009)