David A. Duce E. V. C. Fielding Lynn S. Marshall Formal specification of a small example based on GKS. 180-197 1988 7 ACM Trans. Graph. 3 http://doi.acm.org/10.1145/44479.44481 db/journals/tog/tog7.html#DuceFM88