COLD-K

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, Lecture Notes in Computer Science 394, Springer-Verlag, 1989, pp.139-205.