TY  - BOOK
AU  - Conference on formalization of programming concepts (Peniscola,1981)
AU  - Diaz, J., ed.
AU  - Ramos, I., ed.
TI  - Formalization of programming concepts
T2  - Lecture notes in computer science
SN  - 3540106995
U1  - 001.642 
PY  - 1981///
CY  - Berlin
PB  - Springer-Verlag
ER  -