David B. Arnold, David A. Duce, Graham J. Reynolds. An Approach to the Formal Specification of Configurable Models of Graphics Systems. In Guy Maréchal, editor, 8th European Computer Graphics Conference and Exhibition, Eurographics 1987, Amsterdam, The Netherlands, August 24-28, 1987, Proceedings. North-Holland / Eurographics Association, 1987. [doi]
Abstract is missing.