@mastersthesis{mastersthesis8455a458,
title   = {A especificação formal e o teste de um protocolo de comunicação de grupo},
author = {James, Perry Roland and Endler, Markus},
year = {1997},
school = {Universidade de São Paulo}
}