The science of programming - Gries, David (rz1, 1981)