David Aspinall Adriana B. Compagnoni Subtyping Dependent Types (Summary). 86-97 1996 LICS db/conf/lics/lics96.html#AspinallC96