Title: Recent trends in algebraic development techniques
Subjects: Abstract data types (Computer science), Computer science, Computer software, Congresses, Development, Mathematics, Computer software, development, Computer science, mathematics, Abstract data types (computer science)