An analysis of programs by algebraic means
Tom 2 / 1977
Banach Center Publications 2 (1977), 167-213
DOI: 10.4064/-2-1-167-213