@Article{	  FleischerK18tocs:short,
  author	= "Fleischer, Lukas and Kufleitner, Manfred",
  title		= "Green's {R}elations in {D}eterministic {F}inite
		  {A}utomata",
  journal	= "Theory Comput.\ Syst.",
  publisher	= "Springer",
  year		= "2018",
  doi		= "10.1007/s00224-018-9847-4"
}