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