Refinement and occam - Refinement and occam (Milton Keynes Open University Press, 1990)