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