The Oz Programming Model