@InProceedings{	  Hertrampf95stacs,
  title		= "Classes of Bounded Counting Type and their Inclusion
		  Relations",
  year		= "1995",
  volume	= "900",
  pages		= "60--70",
  publisher	= "Springer",
  address	= "Berlin",
  series	= "Lecture Notes in Computer Science",
  booktitle	= "S{TACS} 95 ({M}unich, 1995)",
  doi		= "10.1007/3-540-59042-0_62",
  author	= "Hertrampf, Ulrich"
}