@Article{	  die89tcs,
  author	= "Volker Diekert",
  journal	= "Theoretical Computer Science",
  pages		= "117--136",
  title		= "On the {K}nuth-{B}endix completion for concurrent
		  processes",
  volume	= "66",
  year		= "1989",
  doi		= "10.1016/0304-3975(89)90131-X"
}