5 books
Foundations of Empirical Software Engineering
Software Specification
Selected Reprints in Software
Programming Languages
Principles of Software Engineering and Design