Ana Paula Lüdtke Ferreira, Leila Ribeiro.
Este texto visa apresentar um modelo universal de computação baseado em grafos e transformações de grafos, e como este modelo pode ser usado para especificar e programar sistemas concorrentes orientados a objetos.
http://www.lbd.dcc.ufmg.br/colecoes/jai/2006/009.pdf
Caso o link acima esteja inválido, faça uma busca pelo texto completo na Web: Buscar na Web