Specifying and implementing data types - Open University, U.K. (Milton Keynes The Open University, 1994)