Computers Ltd. what they really can't do - Harel, David 1950- (Oxford Univ. Press, 2000)