Abstraction for Programmers - ZIMMER, J.A. (1985)