"Rum. An Intensional Theory of Function and Control Abstractions."

Carolyn L. Talcott (1986)
a service of Schloss Dagstuhl - Leibniz Center for Informatics