Transitions and trees an introduction to structural operational semantics - Huttel, Hans (Cambridge New York Cambridge University Press, 2010)
Keywords: Programming languages (Electronic computers) -- Semantics