Title: Foundations of Algebraic Specification and Formal Program Development
Subjects: Software engineering, Abstract data types (computer science), Computer science, mathematics