I just received an old used book in the morning mail, Dijkstra's A Discipline of Programming. I've bought other classics. Some are available online, a.o. here:

http://portal.acm.org/toc.cfm?id=SERIES11430&type=series...

Great thinking is not new.