SPECIAL

SRI

A specification language. [HDM?]

"SPECIAL - A Specification and Assertion Language", L. Robinson et al, TR CSL-46, SRI, Jan 1987.