1. D. Blyth, C. Boldyreff, C. Ruggles, N. Tetteh-Lartey, The case for formal methods in standards, IEEE Software (September 1990) 65–67
2. R.J. Bril, A model-oriented method for algebraic specification using COLD-1 as notation, these Proceedings (1991)
3. L.M.G. Feijs, H.B.M. Jonkers, C.P.J. Koymans, G.R. Renardel de Lavalette, Formal definition of the design language COLD-K, Technical Report, ESPRIT project 432, Doc.Nr. METEOR/t7/PRLE/7 (1987)
4. D. Harel, Dynamic logic, in: Handbook of Philosophical logic, vol. II (D. Gabbay, F. Guenthner, eds.) Reidel (1984) 497–604
5. JTC1 Statement of Policy on Formal Description Techniques, ISO/IEC JTC1 N145 and ISO/IEC JTC1/SC18 N1333, International Standard Organization, Geneva (1987)