Algebraic derivation of an operational semantics - Hoare, C; He, J; Sampaio, A (MIT Press, 2000)