HDM

from The Free On-line Dictionary of Computing (8 July 2008)

SPECIAL
HDM

   <language, specification> A specification language developed
   at {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)