@Article{	  dm94a,
  author	= "Volker Diekert and Anca Muscholl",
  title		= "Deterministic asynchronous automata for infinite traces",
  journal	= "Acta Informatica",
  year		= "1994",
  volume	= "31",
  pages		= "379--397",
  doi		= "10.1007/BF01178512"
}