@PhDThesis{	  mus94diss,
  author	= "Anca Muscholl",
  title		= "{\"U}ber die {E}rkennbarkeit unendlicher {S}puren",
  school	= "Institut f{\"u}r {I}nformatik, {U}niversit{\"a}t
		  {S}tuttgart",
  type		= "Ph{D} thesis",
  year		= "1994"
}