C. A. R. Hoare. Algebra and Models. 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 161-195, Springer, 1992. [doi]
Abstract is missing.