Title: Algebraic methodology and software technology
Subjects: Congresses, Software engineering, Abstract data types (Computer science)