TY  - BOOK
AU  - Ershov, Andrei Ed
AU  - Nepomniaschy, Valery A.
TI  - International symposium on theoretical programming
SN  - 3540067205
CY  - Berlin
KW  - Theoretical Programming
ER  -