Palamidessi, Catuscia, and Frank D. Valencia. “A Temporal Concurrent Constraint Programming Calculus”. BRICS Report Series 8, no. 20 (June 4, 2001). Accessed March 29, 2024. https://tidsskrift.dk/brics/article/view/21681.