Antônio Carlos Lima de Santana Antônio Francisco do Prado Wanderley Lopes de Souza Marcelo Sant'Anna Automatic Refinement of Distributed Systems Specifications Using Program Transformations. 154-163 1998 conf/compsac/1998 COMPSAC http://doi.ieeecomputersociety.org/10.1109/CMPSAC.1998.716651 db/conf/compsac/compsac1998.html#SantanaPSS98