Automating the refinement of specifications for distributed systems via syntactic transformations. - Paul C. Attie; Champak Das (Int. J. Syst. Sci., 1997)