The Case for Formal Methods in Standards. - David Blyth; Cornelia Boldyreff; Clive Ruggles; Nik Tetteh-Lartey (IEEE Softw., 1990)

The Formal Specification of the ISO Open Document Architecture (ODA) Standard. - Wolfgang Appelt; Nik Tetteh-Lartey (Comput. J., 1993)