Iota

A specification language.

The Iota Programming System, R. Nakajima et al, Springer-Verlag, 1983.