Interface calculus and the computer - Smith, David A. (David Alexander) 1938- (Houghton Mifflin, 1976)