The oz programming model - Smolka, Gert 1955- (Deutsches Forschungszentrum für Künstliche Intelligenz <Kaiserslautern; Saarbrücken>: Research report, 1995)