TY  - GEN
AU  - Fiadeiro,José Luiz
AU  - Mosses,Peter
AU  - Orejas,F
TI  - Recent trends in algebraic development techniques: 17th international workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004 : revised selected papers
SN  - 3540253270 (pbk. : acid-free paper)
U1  - 005.1 
PY  - 2005///
CY  - Berlin, New York
PB  - Springer
KW  - Computer software
KW  - Development
KW  - Computer science
KW  - Mathematics
KW  - Abstract data types (Computer science)
N1  - "WADT 2004 took place at the Technical University of Catalonia (UPC)"--Pref
UR  - http://springerlink.metapress.com/openurl.asp?genre=issue&issn=0302-9743&volume=3423
UR  - http://www.loc.gov/catdir/enhancements/fy0663/2005922176-d.html
ER  -