Clever programming languages exercises. - José de Oliveira Guimarães (ACM SIGCSE Bull., 1993)

Parametrized Methods. - José de Oliveira Guimarães (ACM SIGPLAN Notices, 1993)

Suggestion for a parametrized class model. - José de Oliveira Guimarães (OOPS Messenger, 1994)

Testing student-made compilers. - José de Oliveira Guimarães (ACM SIGCSE Bull., 1994)

The object oriented model and its advantages. - José de Oliveira Guimarães (OOPS Messenger, 1995)

Reflection for Statically Typed Languages. - José de Oliveira Guimarães (ECOOP, 1998)

Experiences in building a compiler for an object-oriented language. - José de Oliveira Guimarães (ACM SIGPLAN Notices, 2003)

Closures for statically-typed object-oriented languages. - José de Oliveira Guimarães (ACM SIGPLAN Notices, 2004)

The Green language. - José de Oliveira Guimarães (Comput. Lang. Syst. Struct., 2006)

Learning compiler construction by examples. - José de Oliveira Guimarães (ACM SIGCSE Bull., 2007)

The Green language type system. - José de Oliveira Guimarães (Comput. Lang. Syst. Struct., 2009)

Is mathematics inevitable? a miscellany by Underwood Dudley (editor), The Mathematical Association of America, 2008 324 pages, hardcover. - José de Oliveira Guimarães (SIGACT News, 2010)

Review of models of computation: an introduction to computability theory, by Maribel Fernández. - José de Oliveira Guimarães (SIGACT News, 2012)

The Cyan Language. - José de Oliveira Guimarães (CoRR, 2013)

Transparent replication using metaprogramming in Cyan. - Fellipe A. Ugliara; Gustavo M. D. Vieira; José de Oliveira Guimarães (Sci. Comput. Program., 2020)