@proceedings{de92,
   editor = "Diekert, Volker and Ebinger, Werner",
   organization = "Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik",
   series = "Bericht 4/92",
   title = "{\it {I}nfinite {T}races. {P}roceedings of a workshop of the {ESPRIT}
             {B}asic {R}esearch
             {A}ction {N}o 3166: {A}lgebraic and {S}yntactic {M}ethods in {C}omputer
	     {S}cience {(ASMICS)}, {T}{\"u}bingen, Germany, 1992}",
   year = "1992",
   annote = "A report which covers the state of the art in the 
theory of infinite traces at the beginning of 1992"
}