@InProceedings{	  dg95,
  author	= "Volker Diekert and Paul Gastin",
  title		= "A Domain for Concurrent Termination: {A} Generalization of
		  {M}azurkiewicz traces",
  booktitle	= "Proc. 22nd International Colloquium Automata, Languages
		  and Programming (ICALP'95), Szeged",
  pages		= "15--26",
  series	= "Lecture Notes in Computer Science",
  editor	= "Z. F{\"u}l{\"o}p and F. G{\'e}cseg",
  volume	= "944",
  publisher	= "Springer-Verlag",
  year		= "1995",
  doi		= "10.1007/3-540-60084-1_59"
}