Farhad Arbab, Marjan Sirjani Fundamentals of Software Engineering - Springer 2013 - Lecture Notes in Computer Science . ISBN: 9783642402135 Subjects--Index Terms: Logics and Meanings of Programs; Software Engineering