"Natural Semantics for Imperative and Object-Oriented Programming Languages."

Sabine Glesner (1999)
a service of Schloss Dagstuhl - Leibniz Center for Informatics