3 books in this genre
Programming languages and systems
APLAS 2008 (2008 Bangalore, India)
Verification of sequential and concurrent programs
Krzysztof R. Apt
The cleanroom approach to quality software development
Michael Dyer
