Text this: A formal model of visualization in computer graphics systems