Theory of computing systems
Tom 2 / 1977
Banach Center Publications 2 (1977), 101-165
DOI: 10.4064/-2-1-101-165