The evolution of programs: Nachum Dershowitz Volume 5 in: Progress in Computer Science, Birkhäuser, Basel, 1983, 357 pages, Sfr.64.00