Gérard Boudol, Kim Guldstrand Larsen. Graphical versus Logical Specifications. In André Arnold, editor, CAAP 90, 15th Colloquium on Trees in Algebra and Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings. Volume 431 of Lecture Notes in Computer Science, pages 57-71, Springer, 1990.
Abstract is missing.