"Logical Relations and Data Abstraction."

John Power, Edmund Robinson (2000)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics