An Introduction to formal methods of software development.
Milton Keynes : Open University,
1988.
Contents: Unit 1: What is formal specification? -- Unit 2: Representing data -- Unit 3: Data refinement -- Unit 4: Operation decomposition -- Video notes -- Fault card -- Contents checklist.