Moreno Falaschi Patrick Hicks William H. Winsborough Demand Transformation Analysis for Concurrent Constraint Programs. 333-347 1996 JICSLP db/conf/iclp/iclp96.html#FalaschiHW96