Unifying Theories of Programming - Textbook
Wikipedia page: http://en.wikipedia.org/wiki/Unifying_Theories_of_Programming
http://research.microsoft.com/pubs/68626/unified_theories.pdf
Web site with chapter by chapter: http://www.unifyingtheories.org/ , e.g.