Duce, D. A.Fielding, E. V. C.A.A.G. Requicha2015-09-292015-09-2919861017-4656https://doi.org/10.2312/eg.19861025Towards a Formal Specification of the GKS Output Primitives10.2312/eg.19861025