Transitions and trees : an introduction to structural operational semantics - Hüttel, Hans (Cambridge University Press, 2010)