Diagonalization and Type Rewriting in Clam. - Jerônimo Pellegrini; Jacques Wainer (EPIA, 1997)

Processos de Decisão de Markov: um tutorial. - Jerônimo Pellegrini; Jacques Wainer (RITA, 2007)