Transitions and trees an introduction to structural operational semantics - Huttel, Hans (Cambridge University Press, 2010)