e, specification> A specification language developed at ef="module.php?name=Lexikon&file=search&eid=1&query=SRI">SRI around 1976. ["SPeCIAL - A Specification and Assertion Language", L. Robinson et al, TR CSL-46, SRI, Jan 1977]. [Also known as "HDM"? What' s HDM?] (2004-12-03)