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