M. Nielsen, C. Palamidessi, and F. D. Valencia, “On the Expressive Power of Concurrent Constraint Programming Languages”, BRICS, vol. 9, no. 22, May 2002.