A Formal Model of Visualization in Computer Graphics Systems | EKB DL