"Object-Oriented Programming without Recursive Types."

Benjamin C. Pierce, David N. Turner (1993)
a service of Schloss Dagstuhl - Leibniz Center for Informatics