Automatic Generation of Payroll Programs. - M. Howard Williams; Elizabeth V. C. Fielding (Comput. J., 1978)

Better Understanding through Formal Specification. - David A. Duce; Elizabeth V. C. Fielding (Comput. Graph. Forum, 1985)

Towards a Formal Specification of the GKS Output Primitives. - David A. Duce; Elizabeth V. C. Fielding (Eurographics, 1986)

Formal Specification - A Comparison of Two Techniques. - David A. Duce; Elizabeth V. C. Fielding (Comput. J., 1987)

Formal specification of a small example based on GKS. - David A. Duce; Elizabeth V. C. Fielding; Lynn S. Marshall (ACM Trans. Graph., 1988)