Design of very high-level computer languages by Melvin Klerer