Abstract data types specifications, implementations, and applications - Dale, Neill (D.C. Heath and Company, 1996)