<language, specification> A specification language.
["The Iota Programming System", R. Nakajima er al, Springer 1983].
(08 Dec 1994)