Alphard - (named for the brightest star in Hydra). Wulf, Shaw and London,
CMU 1974. Pascal-like. 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).
Comments, Experience, Additions
Next Language: ALPS