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