The Science of Programming (1987)

by David Gries