From Algebra to Operational Semantics (2015)

(untitled) - Hoare, C; He, J; Sampaio, A