@phdthesis{Burtsev:phdthesis,
  author =	 "Anton Burtsev",
  title =	 "Deterministic Systems Analysis",
  type =	 "{PhD} dissertation",
  school =	 "University of Utah",
  year =	 2013,
  month =	 may
}