@MastersThesis{   Bohannon,
  Author        = "Bohannon, Aaron",
  date-added    = "2013-07-09 14:28:44 +0000",
  date-modified = "2013-07-09 14:28:58 +0000",
  Keywords      = "abstract machines",
  Title         = "Sequent Calculus and Abstract Machines",
  File          = "Sequent Calculus and Abstract Machines - Bohannon (0) (0) - a - a - w.pdf"
}

@MastersThesis{ Bohannon, Author = "Bohannon, Aaron", date-added = "2013-07-09 14:28:44 +0000", date-modified = "2013-07-09 14:28:58 +0000", Keywords = "abstract machines", Title = "Sequent Calculus and Abstract Machines", File = "Sequent Calculus and Abstract Machines - Bohannon (0) (0) - a - a - w.pdf" }