Предельно полная система локальных правил эквивалентных преобразований программ
Volume 7 / 1982
Banach Center Publications 7 (1982), 76-103
DOI: 10.4064/-7-1-76-103
