Abstraction for programmers - Zimmer (McGraw-Hill, 1985)