Tamiya Onodera

• A formal model of visualization in computer graphics systems