ECS 220 8a:8.1-2 space-bounded complexity classes L and PSPACE

From David Doty