@InProceedings{	  NowotkaS07mfcs,
  author	= "Dirk Nowotka and Jiri Srba",
  title		= "Height-{D}eterministic Pushdown Automata",
  booktitle	= "Mathematical Foundations of Computer Science 2007, 32nd
		  International Symposium, {MFCS} 2007, {\v{C}}esk{\'y}
		  Krumlov, Czech Republic, August 26-31, 2007, Proceedings",
  publisher	= "Springer-Verlag",
  year		= "2007",
  volume	= "4708",
  editor	= "Ludek Ku\v{c}era and Anton{\'i}n Ku\v{c}era",
  pages		= "125--134",
  series	= "Lecture Notes in Computer Science",
  doi		= "10.1007/978-3-540-74456-6_13"
}