-T. Onodera/S. Kawai: A Formal Model of Visualization in Computer Graphics Systems, Springer-Verlag 1990