Formal design href="module.php?name=Lexikon&file=search&eid=1&query=kernel language">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)