The Evolution of Programs, volume 5 (1983)

by N Dershowitz
Venue:of Progress in Computer Science. Birkhauser