Rewriting logic and its applications (Elsevier, 2012)
Einzelaufnahme eines Zs.-Heftes