Um estudo do sistema Oyster-Clam, implementação de reescrita de tipos e uma formalização parcial da teoria dos grafos - Pellegrini, Jerônimo (1997)
Orientador: Jacques Wainer