David Aspinall Types, Subtypes, and ASL+. 116-131 1994 conf/compass/1994 COMPASS/ADT db/conf/compass/compass94.html#Aspinall94