Kim Guldstrand Larsen, Bent Thomsen. Compositional Proofs by Partial Specification of Processes. In Michal Chytil, Ladislav Janiga, Václav Koubek, editors, Mathematical Foundations of Computer Science 1988, MFCS 88, Carlsbad, Czechoslovakia, August 29 - September 2, 1988, Proceedings. Volume 324 of Lecture Notes in Computer Science, pages 414-423, Springer, 1988.
Abstract is missing.