Ralph-Johan Back. Refinement Calculus, Lattices and Higher Order Logic. In Manfred Broy, editor, Program Design Calculi, Proceedings of the NATO Advanced Study Institute on Program Design Calculi, Marktoberdorf, Germany, July 28 - August 9, 1992. Volume 118 of NATO ASI Series, pages 53-71, Springer, 1992. [doi]
Abstract is missing.