Title: Recent Trends in Algebraic Development Techniques
Subjects: Computer software, development, Computer science, mathematics, Abstract data types (computer science)