Nguage> (Named after the brightest star iN Hydra) A Pascal-like laNguage developed by Wulf, Shaw aNd LoNdoN of CMU iN 1974. Alphard supports data abstractioN usiNg the ' form' , which combiNes a specificatioN aNd aN implemeNtatioN. ["AbstractioN aNd VerificatioN iN Alphard: DefiNiNg aNd SpecifyiNg IteratioN aNd GeNerators", Mary Shaw, CACM 20(8):553-563, Aug 1977]. (1995-05-10)