TY  - BOOK
ED  - International conference 
TI  - Algebraic methodology and software technology (AMAST'93): Proceedings of the third international conference on algebraic methodology and software technology, university of twente, enschede, t Netherlands
SN  - 3 540 19852 0
U1  - 001.6425 
PY  - 1993///
CY  - London
PB  - Springer-Verlag
KW  - Software engineering
KW  - Congresses
KW  - Abstract data types (Computer science)
KW  - Congresses and conventions
N1  - Includes index
ER  -