"Programming Languages and Operational Semantics - A Concise Overview"

Maribel Fernández (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics