Dianxiang Xu Guoliang Zheng Logical Objects with Constraints. 5-10 1995 30 SIGPLAN Notices 1 db/journals/sigplan/sigplan30.html#XuZ95