TY  - BOOK
AU  - Rattray Charles ed.
ED  - International Conference on Algebraic Methodology and Software Technology, AMAST 2004
ED  - International conference on algebraic methodology and software technology, AMAST 2004
TI  - Algebraic methodology and software technology: proceedings
SN  - 3-540-22381-9
U1  - 5.1 
PY  - 2004///
CY  - Berlin
PB  - Springer-Verlag
KW  - Computer software
ER  -