TY  - BOOK
A2  - Hans Hüttel.
AU  - Hüttel, Hans.
NV  - XVII, 272 s. :
PY  - 2010
SN  - 9780521197465
SN  - 9780521147095
TI  - Transitions and trees : an introduction to structural operational semantics /
ER  -