1
The Münster Logic-Imperative Language
Inhaltsverzeichnis:
“... ..... 113 -- 9.4 Operational Semantics of Muli Programs ..... 115 -- 9.4.1 Semantics of Expressions...”