Mathematical foundations of programming semantics (Elsevier, 1997)
Einzelaufnahme eines Zeitschr.-H.