@InProceedings{	  dv88mfcs,
  author	= "Volker Diekert and Walter Vogler",
  address	= "Heidelberg",
  booktitle	= "Proc. 13th Symposium on Mathematical Foundations of
		  Computer Science (MFCS'88), Carlsbad (Czechoslovakia),
		  1988",
  editor	= "M. Chytil and others",
  volume	= "324",
  pages		= "271--279",
  publisher	= "Springer-Verlag",
  series	= "Lecture Notes in Computer Science",
  title		= "Local checking of trace synchronizability",
  year		= "1988",
  doi		= "10.1007/BFb0017150"
}