Frank S. de Boer Maurizio Gabbrielli Elena Marchiori Catuscia Palamidessi Proving Concurrent Constraint Programs Correct. 98-108 1994 POPL db/conf/popl/popl94.html#BoerGMP94