Title: Algebraic Methodology and Software Technology
Subjects: Software engineering, Abstract data types (computer science)