1-2 of 2 Books
Programming in the 1990s
By Edward Cohen
Axiomatising the logic of computer programming
By Robert Goldblatt