Moreno Falaschi Patrick Hicks William H. Winsborough Demand Transformation Analysis for Concurrent Constraint Programs. 185-215 2000 42 J. Log. Program. 3 db/journals/jlp/jlp42.html#FalaschiHW00