Algebraic derivation of an operational semantics.

C. A. R. Hoare Jifeng He Augusto Sampaio Algebraic derivation of an operational semantics. 77-98 2000 Proof, Language, and Interaction conf/birthday/1999milner db/conf/birthday/milner1999.html#HoareJS00