Gert Smolka Martin Henz Jörg Würtz Object-Oriented Concurrent Constraint Programming in Oz. 44-59 1993 conf/ki/1993 KI db/conf/ki/ki1993.html#SmolkaHW93