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

Languages mentioned

• COLD {1989}
• COLD-K {1989}