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