Title: Algebraic methodology and software technology
First published: 2002
Subjects: Congresses, Software engineering, Abstract data types (Computer science), Abstract data types (computer science)
LC classification: QA76.758 .I5713 2002, QA76.758 .I5713 2002