The Incremental Development of Correct Specifications for Distributed Systems. - Stephan Kleuker; Hermann Tjabben (FME, 1996)