"Subtyping Constrained Types."

Valery Trifonov, Scott F. Smith (1996)
a service of Schloss Dagstuhl - Leibniz Center for Informatics