Vijay A. Saraswat Martin C. Rinard Concurrent Constraint Programming. 232-245 1990 conf/popl/1990 POPL db/conf/popl/popl90.html#SaraswatR90 http://doi.acm.org/10.1145/96709.96733