Title: The specification and application to programming of abstract data types
Subjects: Computer programming