TY  - DATA
AU  - M. Dezani-Ciancaglini, U. Montanari
TI  - International Symposium on Programming
SN  - 9783540391845
PY  - 1982///
PB  - Springer Berlin Heidelberg
KW  - Computer Science
UR  - https://doi.org/10.1007/3-540-11494-7
ER  -