Antônio Carlos Lima de Santana Luiz Henrique Castelo Branco Antônio Francisco do Prado Wanderley Lopes de Souza Marcelo Sant'Anna Automatic Implementation of Distributed Systems Formal Specifications. 1424-1429 1999 conf/pdpta/1999 PDPTA db/conf/pdpta/pdpta1999-3.html#SantanaBPSS99