| title | media type | ISBN-13 (ISBN-10) | year of publication |
|---|---|---|---|
| Transitions and Trees: An Introduction to Structural Operational Semantics | Paperback | 978-0-521-14709-5 (0-521-14709-3) | 2010 |
| Transitions and Trees: An Introduction to Structural Operational Semantics | Hardcover | 978-0-521-19746-5 (0-521-19746-5) | 2010 |
H.H. · Hans G. Hüttel · Hans-Georg Hüttel · Hans H. · Hans Huttel