TY  - BOOK
AU  - DIAZ,J (ED), RAMOS I (ED)
TI  - FORMALIZATION OF PROGRAMMING CONCEPTS: INTERNATIONAL COLLOQIUM PROCEEDING
SN  - NCST
U1  - 389 
PY  - 1981///
CY  - BERLIN
PB  - SV
ER  -