Specifying programming languages (Milton Keynes Open University, 1986)