TY  - BOOK
ED  - Summer Symposium on Constructivity in Computer Science( 1991 : San Antonio )
ED  - Summer Symposium on Constructivity in Computer Science
TI  - Constructivity in computer science : proceedings
U1  - 4 
PY  - 1992///
CY  - Berlin
PB  - Springer Verlag
KW  - Computer science
ER  -