TY  - BOOK
AU  - Diaz, J. Ed.
AU  - Ramos, I. Ed.
TI  - Formalization of programming concepts: Proceedings, Int.Colloquium, Spain, 1981
SN  - 3540106995
CY  - Berlin
KW  - Formalization of Programming Concepts
ER  -