Nielsen, M., C. Palamidessi, and F. D. Valencia. “On the Expressive Power of Concurrent Constraint Programming Languages”. BRICS Report Series, vol. 9, no. 22, May 2002, doi:10.7146/brics.v9i22.21738.