Spec
A specification language. It expresses {black box} interface
specifications for large distributed systems with {real-time}
constraints. It incorporates conceptual models, {inheritance}
and the event model. It is a descendant of {MSG.84}.
["An Introduction to the Specification Language Spec",
V. Berzins et al, IEEE Software 7(2):74-84 (Mar 1990)].