"Abstract Machines, Control, and Sequents."

Pierre-Louis Curien (2000)
a service of Schloss Dagstuhl - Leibniz Center for Informatics