Sara Kalvala HOL Around the World. 4-12 1991 conf/tphol/1991 TPHOLs db/conf/tphol/tphol1991.html#Kalvala91