Iota

A specification language.

["The Iota Programming System", R. Nakajima er al, Springer 1983].