Elan

["Top-down Programming with Elan", C.H.A. Koster, Ellis Horwood 1987].