Verification and meaning by Stuart Brown Units 11-13 (Open University Press, 1976)