Axioms for multilevel objects. - A. Bergstra; H. J. M. Goeman; Alexander Ollongren; G. A. Terpstra; Theo P. van der Weide (Fundam. Informaticae, 1980)