Gert Smolka A Foundation for Higher-order Concurrent Constraint Programming. 50-72 1994 conf/ccl/1994 CCL db/conf/ccl/ccl94.html#Smolka94