The formal framework of the Hyper View system - Faulstich, Lukas C. 1967- (Freie Universität Berlin, Fachbereich Mathematik und Informatik : Ser. B, Informatik : Technical Report, 1999)