... Annual ACM-SIGACT Symposium on the Theory of Computing
In: Journal of computer and system sciences. Vol. 28, No. 2, 1984