The science of programming /Editor David Gries - Gries, David (Springer-Verlag, 1981)