Title: Zweistufige Graphmanipulationssysteme für die Semantik von Programmiersprachen
Subjects: Graph theory, Programming languages (Electronic computers), Semantics