@InProceedings{	  die87,
  author	= "Volker Diekert",
  address	= "Heidelberg",
  booktitle	= "Proc. 14th International Colloquium Automata, Languages
		  and Programming (ICALP'87), Karlsruhe",
  editor	= "Th. Ottmann",
  note		= "Appeared also in a revised version in Theoretical Computer
		  Science 66:117-136, 1989",
  volume	= "267",
  pages		= "42--53",
  publisher	= "Springer-Verlag",
  series	= "Lecture Notes in Computer Science",
  title		= "On the {K}nuth-{B}endix completion for concurrent
		  processes",
  year		= "1987",
  doi		= "10.1007/3-540-18088-5_5"
}