A Formal Specification of a Graphics System in the Framework of the Computer Graphics Reference Model.

David A. Duce Fabio Paternò A Formal Specification of a Graphics System in the Framework of the Computer Graphics Reference Model. 3-20 1993 12 Comput. Graph. Forum 1 db/journals/cgf/cgf12.html#DuceP93