1-3 of 3 Books
The evolution of programs
By Nachum Dershowitz
Translating relationalqueries into iterative programs
By Johann Christoph Freytag
Programs as data objects
By Neil D. Jones