Formal specification.
Open University.M355 Course Team.
Milton Keynes : Open University,
1990.