Harry R. Lewis Christos H. Papadimitriou Symmetric Space-Bounded Computation. 161-187 1982 19 Theor. Comput. Sci. db/journals/tcs/tcs19.html#LewisP82