Verification and meaning - Brown, Stuart Carruthers 1942- (The Open Univ. Press, 1976)