"Operational Semantics and Program Equivalence."

Andrew M. Pitts (2000)
a service of Schloss Dagstuhl - Leibniz Center for Informatics