A formal model of visualization in computer graphics systems - Onodera, Tamiya, (Lecture notes in computer science ;)