Martin Steffen, Benjamin C. Pierce: Higher-Order Subtyping. PROCOMET 1994: 511-530