This book emphasises the definition and analysis of algorithms on the basis of abstract data types. Its features include: - presentation of a formal approach to data abstraction that is easy to follow, allowing for a clear separation of algorithm design and implementation issues. - introduction of recursion in a natural way, expressing operations on recursively defined data types as a recurs…