@InProceedings{	  die87stacs,
  author	= "Volker Diekert",
  address	= "Heidelberg",
  booktitle	= "Proc. 4th Annual Symposium on Theoretical Aspects of
		  Computer Science (STACS'87), Passau (Germany)",
  editor	= "F. J. Brandenburg and G. Vidal-Naquet and M. Wirsing",
  volume	= "247",
  pages		= "272--285",
  publisher	= "Springer-Verlag",
  series	= "Lecture Notes in Computer Science",
  title		= "Some remarks on presentations by finite {Church}-{Rosser}
		  {T}hue systems",
  year		= "1987",
  doi		= "10.1007/BFb0039612"
}