Software Engineering Mathematics
Jim Woodcock, Martin J. Loomes · 1988
Formal systems propositional logic and calculus predicate logic and calculus theories set theory relations functions sequences case study: a telephone exchange case study: a mathematical theory algebraic specifications.