@PhdThesis{       Axell,
  Author        = "Axelsson, Roland",
  date-added    = "2014-03-23 18:18:46 +0000",
  date-modified = "2014-03-23 18:19:04 +0000",
  Title         = "Verification of Non-Regular Program Properties",
  Year          = "2010",
  File          = "Verification of Non-Regular Program Properties - Axelsson (0) (0) - a - a - k.pdf"
}

@PhdThesis{ Axell, Author = "Axelsson, Roland", date-added = "2014-03-23 18:18:46 +0000", date-modified = "2014-03-23 18:19:04 +0000", Title = "Verification of Non-Regular Program Properties", Year = "2010", File = "Verification of Non-Regular Program Properties - Axelsson (0) (0) - a - a - k.pdf" }