"Recursive subtyping revealed."

Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce (2002)
a service of Schloss Dagstuhl - Leibniz Center for Informatics