TY  - BOOK
AU  - Ključnikov, I. G.
TI  - Supercompiler HOSC 1.0: proof of termination
T2  - Препринт
VL  - N° 21
PY  - 2010///
CY  - Moscow
PB  - [s.n.]
KW  - HOSC 1.1, компиляторы (компьют.)
KW  - RU\NLR\auth\661592853
KW  - З973.2-018-5-05
N2  - Библиогр.: с. 24-25 (16 назв.)
ER  -