@Manual{          Stephan:2016aa,
  Author        = "Stephan, Frank",
  date-added    = "2017-07-18 19:57:19 +0000",
  date-modified = "2017-07-18 19:57:49 +0000",
  Month         = "November",
  Title         = "Methods and Theory of Automata and Languages",
  Year          = "2016",
  File          = "fullautomatatheory-nov2016 (0) - a - a - j.pdf"
}

@Manual{ Stephan:2016aa, Author = "Stephan, Frank", date-added = "2017-07-18 19:57:19 +0000", date-modified = "2017-07-18 19:57:49 +0000", Month = "November", Title = "Methods and Theory of Automata and Languages", Year = "2016", File = "fullautomatatheory-nov2016 (0) - a - a - j.pdf" }