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)