Email Record: A formal model of visualization in computer graphics systems /