["Top-down Programming with Elan", C.H.A. Koster, Ellis Horwood 1987].
Try this search on Wikipedia, OneLook, Google