C. A. R. Hoare, Jifeng He, Augusto Sampaio. Algebraic derivation of an operational semantics. In Gordon D. Plotkin, Colin Stirling, Mads Tofte, editors, Proof, Language, and Interaction, Essays in Honour of Robin Milner. pages 77-98, The MIT Press, 2000.
Abstract is missing.