Seif Haridi Peter Van Roy Gert Smolka An overview of the design of Distributed Oz. 176-187 1997 PASCO https://doi.org/10.1145/266670.266726 conf/cap/1997 db/conf/cap/pasco1997.html#HaridiRS97