Graphics sytem modelling : verification and application : second annual reports - Foley, James D. (Department of Computer Science, Uviversity of North Carolina, 1975)