by Alistair McMonnies
An introduction to data structures using formal specifications and implementation in C++.