Axioms for multilevel objects
Jan Aldert Bergstra, H.J.M. Goeman, Alexander Ollongren, G.A Terpstra, Th.P. van der Weide · Fundamenta Informaticae · 1980
A set of axioms for structured objects of data is presented. In the structured objects components and levels are distinguished. Change of level is the result of a special application operator, components are accessible by successive selections. The set of access paths is also axiomatized. The set of axioms is uniform in the sense that features of various known classes of datastructures are combined.