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