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