Ralph-Johan Back, Joakim von Wright. A Lattice-theoretical Basis for a Specification Language. In Jan L. A. van de Snepscheut, editor, Mathematics of Program Construction, 375th Anniversary of the Groningen University, International Conference, Groningen, The Netherlands, June 26-30, 1989, Proceedings. Volume 375 of Lecture Notes in Computer Science, pages 139-156, Springer, 1989.
Abstract is missing.