Huttel, H <br/><br/>
Transitions and trees: An introduction to structural operational semantics 

 - Cambridge  Cambridge University Press  2010 
 - xvii, 272p. 
<br/><br/><label>ISBN: </label>Cambridge