TY  - GEN
AU  - 
TI  - Recent trends in algebraic development techniques: 12th international workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997 : selected papers
SN  - 3540642994 (alk. paper)
U1  - 005.1 
PY  - 1998///
CY  - Berlin, New York
PB  - Springer
KW  - Computer software
KW  - Development
KW  - Computer science
KW  - Mathematics
KW  - Abstract data types (Computer science)
ER  -