The Free On-line Dictionary of Computing (30 December 2018):

Alphard

    (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)