From Algebra to Operational Semantics - He, J; Hoare, C (1993)