Mathematical Foundations of Software Engineering
Gerard O'Regan
Concise Guide to Software Engineering