TY  - BOOK
AU  - Diaz Josep
ED  - International Colloquium on Formalization of Programming Concepts( 1981 : Spain )
ED  - International Colloquium on Formalization of Programming Concepts
TI  - Formalization of programming concepts : proceedings
U1  - 5.1 
PY  - 1981///
CY  - Berlin
PB  - Springer Verlag
KW  - Computer programming
ER  -