Logic and objects - McCabe, F. G. [ (Frank G.)] , 1953- (Prentice Hall International series in computer science, 1992)