cold-k

from The Free On-line Dictionary of Computing (8 July 2008)

COLD-K

   <language> A formal design {kernel language} for describing
   (sequential) software systems in intermediate stages of their
   design.

   ["An Introduction to COLD-K", H.B.M. Jonkers in Algebraic
   Methods: Theory, Tools and Applications, M. Wirsing et al eds,
   LNCS 394, Springer 1989, pp. 139-205].

   (1995-01-04)