kmodel

from The Free On-line Dictionary of Computing (8 July 2008)

KMODEL

   An ancestor of Model-K.  "Preliminary Results on the BEHAVIOUR
   Specifications Language KMODEL-0", BEHAVIOUR Memo 5-91, 1991,
   GMD, Sankt Augustin, Germany