A verifier for checking the conformance of programs with the GKS standard. - Günther E. Pfaff; R. Müller; B. Kirsch (Comput. Graph., 1985)