Formalizing Biological and Medical Visualization