[BGS]

T. Baker, J. Gill, andR. Solovay, Relativizations of the
question. To appear in*SIAM Journal on Computing.*

[C1]

S. A. Cook, Characterizations of pushdown machines in terms of time-bounded computers,*Journal of the ACM*,**18** (1971) 4–18.

[C2]

S. A. Cook, The complexity of theorem proving procedures,*Proc. Third Annual ACM Symposium on Theory of Computing*, 1971 pp. 151–158.

[C3]

S. A. Cook, An observation on time-storage trade off,*Proc. of Fifth Annual ACM Symposium on Theory of Computing*, 1973 pp. 29–33.

[H]

J. Hartmanis, On nondeterminacy of simple computing devices,*Acta Informatica*,**1** (1972) 336–344.

[HU1]

J. E. Hopcroft andJ. D. Ullman, Nonerasing stack automata,*Journal of Computer and System Sciences*,**1** (1967) 166–186.

[HU2]

J. E. Hopcroft andJ. D. Ullman,*Formal Languages and Their Relation to Automata*, Addison-Wesley, Reading, Ma. 1969.

[HY]

P. Hsia andR. Yeh, Finite automata with marks, in*Automata, Languages and Programming*, M. Nivat, editor, American Elsevier, New York 1973.

[J]

N. D. Jones, Space-bounded reducibility among combinatorial problems,*Journal of Computer and System Sciences*,**11** (1975) 68–85.

[JL]

N. D. Jones andW. T. Laaser, Complete problems for deterministic polynomial time,*Proc. of Sixth Annual ACM Symposium on Theory of Computing*, pp. 40–46 1974.

[K]

R. M. Karp, Reducibility among combinatorial problems, in*Complexity of Computer Computations*, R. Miller and J. Thatcher, editors, Plenum Press, New York 1972.

[La1]

R. E. Ladner, On the structure of polynomial time reducibility,*Journal of the ACM*,**22** (1975) 155–171.

[La2]

R. E. Ladner, The circuit value problem is log space complete for
,*SIGACT News*,**7** (1975) 18–20.

[LLS]

R. E. Ladner, N. A. Lynch, andA. L. Selman, A comparison of polynomial time reducibilities. To appear in*Theoretical Computer Science.*

[Ly1]

N. A. Lynch, Log space recognition and translation of parenthesis languages, manuscript.

[Ly2]

N. A. Lynch, Log space machines with multiple oracle tapes, manuscript.

[M]

A. R. Meyer, private communication.

[Sa]

W. J. Savitch, Relationship between nondeterministic and deterministic tape complexities,*Journal of Computer and System Sciences*,**4** (1970) 177–192.

[Si]

Simon, Istvan. Private communication (Ph.D. Thesis in preparation, Stanford).

[SHL]

R. E. Stearns, J. Hartmanis, andP. M. Lewis II, Hierarchies of memory limited computations,*IEEE Conf. Record on Switching Circuit Theory and Logical Design*, (1965) 191–202

[SM]

L. Stockmeyer andA. R. Meyer, Word problems requiring exponential time*Proc. of Fifth Annual ACM Symposium on Theory of Computing*, (1973) pp. 1–9.

[Su]

I. H. Sudborough, On tape-bounded complexity classes and multihead automata,*Journal of Computer and System Sciences*, Vol,**10** (1975) 62–76.