@InCollection{	  dg02,
  author	= "Volker Diekert and Paul Gastin",
  title		= "Safety and Liveness Properties for Real Traces and a
		  Direct Translation from {LTL} to Monoids",
  booktitle	= "Formal and Natural Computing --- Essays Dedicated to
		  Grzegorz Rozenberg",
  editor	= "W. Brauer and H. Ehrig and J. Karhum{\"a}ki and A.
		  Salomaa",
  publisher	= "Springer-Verlag",
  series	= "Lecture Notes in Computer Science",
  volume	= "2300",
  year		= "2002",
  pages		= "26--38",
  doi		= "10.1007/3-540-45711-9_2"
}