Systematic software development using VDM
Cli B. Jones · Prentice Hall International (UK) Ltd. eBooks · 1986
Logic of propositions reasoning about predicates functions and operations set notation composite objects and invariants map notation sequence notation data rectification more on data types operation decomposition a small case study.