@InProceedings{	  die02rims,
  title		= "A Pure Future Local Temporal Logic Beyond Cograph-Monoids",
  author	= "Volker Diekert",
  booktitle	= "Proc. RIMS Symposium on Algebraic Systems, Formal
		  Languages and Conventional and Unconventional Computation
		  Theory, Kyoto, Japan 2002",
  editor	= "M. Ito",
  year		= "2002",
  pages		= ""
}