David A. Duce, Elizabeth V. C. Fielding. Towards a Formal Specification of the GKS Output Primitives. In Aristides A. G. Requicha, editor, 7th European Computer Graphics Conference and Exhibition, Eurographics 1986, Lisbon, Portugal, August 25-29, 1986, Proceedings. North-Holland / Eurographics Association, 1986. [doi]
Abstract is missing.