TY - BOOK AU - Романенко, Сергей Анатольевич TI - № 147. РЕФАЛ-4: расширение РЕФАЛА-2, обеспечивающее выразимость результатов прогонки T2 - Препринты ИПМ им. М.В. Келдыша / Институт прикладной математики имени М.В. Келдыша Российской академии наук SN - 2071-2898 PY - 1987/// UR - https://keldysh.ru/papers/1987/prep1987_147.pdf ER -