Title: Recent Trends in Algebraic Development Techniques
Subjects: Development, Congresses, Computer science, Mathematics, Computer software, Abstract data types (Computer science)