1. Appelt, W., Carr, R., Richter, G., “The formal specification of the document structures of the ODA standard” in J.C. van Vliet (editor), Document Manipulation and Typography, Cambridge University Press, 1988.
2. Arnold, D.B., Duce, D.A., Reynolds, G.J., “An approach to the formal specification of configurable models of graphics systems,” in G. Maréchal (ed.), Proc. Eurographics 87, North Holland 1987.
3. Duce, D.A., “Formal specification of Graphics Software,” (Technical report, RAL).
4. ISO 8613, Office Document Architecture (ODA) and Interchange Format, International Standard IS 8613, International Organization for Standardization, 1988.
5. Ruggles, C.L.N. (editor), Formal Methods in Standards (A report from the BCS Working Group), Springer-Verlag, 1990.