1. H.B.M. Jonkers. Abstraction, specification and implementation techniques with an application to garbage collection. Mathematical centre tracts, 166, Mathematical Centre Amsterdam (1982).
2. M.C. Gaudel. Towards structured algebraic specifications, in: ESPRIT’85: Status Report of Continuing Work, Part 1, North Holland, pp. 439–510 (1986).
3. M. Wirsing. Structured algebraic specifications: a kernel language, Habilitation thesis, Technische Universität München (1983).
4. H.B.M. Jonkers. Description of the design language COLD-S, Philips report (1995).
5. H.B.M. Jonkers. An introduction to COLD-K, in: M. Wirsing, J.A. Bergstra (Eds.), Algebraic Methods: Theory, Tools and Applications, Springer-Verlag LNCS 394, pp. 139–205 (1989).