Concurrent Constraint Programming (1993)

by Vijay A. Saraswat, Martin Rinard