Wesley Phoa From Term Models to Domains. 88-111 1991 conf/tacs/1991 TACS db/conf/tacs/tacs91.html#Phoa91