David J. Lillie Conjunctive Subtyping. 42-51 1993 FPCA db/conf/fpca/fpca93.html#Lillie93