TY - BOOK AU - Johnson,Michael ED - International Conference on Algebraic Methodology and Software Technology TI - Algebraic methodology and software technology: 6th International Conference, AMAST '97, Sydney, Australia, December 13-17, 1997 : proceedings SN - 3540638881 AV - QA76.758 I5713 1997 PY - 1997/// CY - Berlin PB - Springer KW - Software engineering KW - Congresses KW - Abstract data types (Computer science) ER -