@article{DotNic07,
  author = "David Doty and Jared Nichols",
  title = "Pushdown Dimension",
  journal = "Theoretical of Computer Science",
  year = "2007",
  volume = "381",
  issue = "1--3",
  pages = "105--123"
}