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. In COMPSAC 98 - 22nd International Computer Software and Applications Conference, August 19-21, 1998, Vienna, Austria. pages 154-163, IEEE Computer Society, 1998. [doi]
Abstract is missing.