An ancestor of Model-K. "Preliminary Results on the BEHAVIOUR Specifications Language KMODEL-0", BEHAVIOUR Memo 5-91, 1991, GMD, Sankt Augustin, Germany
KMODEL
Meaning of KMODEL in English
FOLDOC computer English dictionary. Английский словарь по компьютерам FOLDOC. 2012