Structural operational semantics (Elsevier, 2007)
Einzelaufnahme eines Zeitschr.-Heftes