Frank A. Stomp, Willem P. de Roever. Designing Distributed Algorithms by Means of Formal Sequentially Phased Reasoning (Extended Abstract). In Jean-Claude Bermond, Michel Raynal, editors, Distributed Algorithms, 3rd International Workshop, Nice, France, September 26-28, 1989, Proceedings. Volume 392 of Lecture Notes in Computer Science, pages 242-253, Springer, 1989.