Title: Foundations Of Algebraic Specification And Formal Software Development
Subjects: Computer software, development, Development, Computer science, Software engineering, Mathematics, Formal methods (Computer science), Computer software