Bu türde 3 kitap
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