Farhad Arbab, Marjan Sirjani Fundamentals of Software Engineering - 2012 ISBN: 978-3-642-29320-7 Subjects--Topical Terms: Logics and Meanings of ProgramsMathematical Logic and Formal LanguagesModels and PrinciplesProgramming TechniquesSoftware Engineering/Programming and Operating Systems Programming Languages, Compilers, InterpretersComputer Science