2 books • 1 series
Unified Theories Of Programming
Provably Correct Systems (McGraw-Hill International Software Engineering S.)