S
[Sip80] Michael Sipser. Halting Space-bounded Computations. Theoretical Computer Science 10(3):335-338. Elsevier, 1980. 
@article{tcs10(3)-Sip,
  author =              {Sipser, Michael},
  title =               {Halting Space-bounded Computations},
  publisher =           {Elsevier},
  journal =             {Theoretical Computer Science},
  volume =              {10},
  number =              {3},
  pages =               {335-338},
  year =                {1980},
}
List of authors