From Algebra to Operational Semantics - Hoare, C; He, J; Sampaio, A (2015)