Source : Free On-Line Dictionary of Computing

COLD-K
     
        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)