Concurrent constraint programming - Saraswat, Vijay, A. (MIT Pr., 1993)