The specification and application to programming of abstract data typesby John GuttagComputer programmingWriting a summary for young readers…For young readersBook data: Open Library