Предельно полная система локальных правил эквивалентных преобразований программ Ю. Янов — 1982 Banach Center Publications