Title: Recent Trends in Algebraic Development Techniques: 13th International Workshop, Wadt '98, Lisbon, Portugal, April 2-4, 1998
Subjects: Development, Congresses, Computer science, Mathematics, Computer software, Abstract data types (Computer science), Computer software, development, Computer science, mathematics