@Book{		  DiekertKRHedm2024,
  title		= "Elements of Discrete Mathematics",
  author	= "Volker Diekert and Manfred Kufleitner and Gerhard
		  Rosenberger and Ulrich Hertrampf",
  year		= "2024",
  publisher	= "De Gruyter"
}