TY  - BOOK
AU  - Refinement and occam
TI  - Refinement and occam
U1  - 005.1 R259 
PY  - 1990///
CY  - Milton Keynes
PB  - Open University Press
ER  -