Abstract Data Types and Algorithms (2nd ed.)

Intended as a second course on programming with data structures, this book is based on the notion of an abstract data type which is defined as an abstract mathematical model with a defined set of operations.