Abstraction for programmers - ZIMMER, J. A. (McGraw-Hill Book, 1985)