specification and application to programming of abstract data types
By: John V. Guttag.
Contributors: University of Toronto. Computer Systems Research Group.
Series: Technical report -- CSRG59; Technical report CSRG (University of Toronto. Computer Systems Research Group) -- 59.
Publisher: Computer Systems Research Group
Published: 1975
Place of publication: Toronto
Language: eng
Number of pages: 149
Subjects: Computer programming.
Notes: "September 1975."

Includes bibliographical references.