Gries (1981)
Gries D. (1981)
The Science of Programming
Springer