Gert Smolka Oz: Concurrent Constraint Programming for Real. 13 1995 ICLP db/conf/iclp/iclp95.html#Smolka95