(language)A formal design kernel language for describing(sequential) software systems in intermediate stages of theirdesign.
["An Introduction to COLD-K", H.B.M. Jonkers in AlgebraicMethods: Theory, Tools and Applications, M. Wirsing et al eds,LNCS 394, Springer 1989, pp. 139-205].