Formal dEsign Ef="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)