Interface calculus and the computer - Smith, David A. (Boston Huoghton Mifflin, 1976)
Keywords: Calculus