Acronyms von A bis Z
LNCS36
-S. A Greibach: Theory of Program Structures: Schemes, Semantics, Verification, Springer-Verlag 1975
-S. A Greibach: Theory of Program Structures: Schemes, Semantics, Verification, Springer-Verlag 1975