Chris A. Vissers, Giuseppe Scollo, Marten van Sinderen, Ed Brinksma. On the Use of Specifiation Styles in the Design of Distributed Systems (Abstract). In Josep Díaz, Fernando Orejas, editors, TAPSOFT 89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989, Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Current Is. Volume 352 of Lecture Notes in Computer Science, pages 60, Springer, 1989.