A formal model of visualization in computer graphics systems / - Onodera, Tamiya, (Springer-Verlag,, 1990)