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

In addition suitable contents:
[ ag ] [ an ] [ ar ] [ at ] [ AVI ] [ B ] [ ca ] [ cat ] [ ci ] [ D ] [ de ] [ E ] [ ec ] [ er ] [ es ] [ fi ] [ G ] [ ge ] [ German ] [ GMD ] [ gu ] [ h ] [ in ] [ IO ] [ io ] [ K ] [ li ] [ lt ] [ M ] [ ma ] [ man ] [ MD ] [ mo ] [ Mode ] [ MODEL ] [ na ] [ nc ] [ ng ] [ ns ] [ O ] [ pe ] [ re ] [ S ] [ Spec ] [ st ] [ su ] [ th ] [ to ] [ ua ] [ ug ] [ us ] [ V ]