Job Zwiers, Ulrich Hannemann, Yassine Lakhnech, Willem P. de Roever. Synthesizing Different Development Paradigms: Combining Top-Down with Bottom-Up Reasoning About Distributed Systems. In P. S. Thiagarajan, editor, Foundations of Software Technology and Theoretical Computer Science, 15th Conference, Bangalore, India, December 18-20, 1995, Proceedings. Volume 1026 of Lecture Notes in Computer Science, pages 80-95, Springer, 1995.
Abstract is missing.