... Annual ACM-SIGACT Symposium on the Theory of Computing (Acad. Press, 1985)
In: Journal of computer and system sciences. Vol. 30, No. 2, 1985