1. D. B. Arnold, D. A. Duce, and G. J. Reynolds, “An Approach to the Formal Specification of Configurable Models of Graphics Systems,” School of Information Systems, University of East Anglia Norwich UK (1987).
2. H. Barringer, “A Survey of Verification Techniques for Parallel Programs,” in Lecture Notes in Computer Science Volume 191 ,Springer-Verlag (1985).
3. K. W. Brodlie and G. E. Pfaff, “Report on the EEC Workshop on Graphics Certification,” Com puter Graphics Forum 1(3), pp. 88–90 (1982).
4. R. M. Ðurstall and J. A. Goguen, “An Informal Introduction to Specifications Using Clear,” in The Correctness Problem in Computer Science ,ed. R. S. Boyer and J. S. Moore, Academic Press (1981).
5. G. S. Carson and E. Post, “The Formal Specification of a Computer Graphics System,” TR 83-6, GSC Associates (1983).