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