This book focuses on abstract data types as viewed from three different perspectives: their specification, their application, and their implementation.