A structural approach to operational semantics - Plotkin, Gordon D. (Universität, 1981)