@PhdThesis{       villard-phd2011,
  Author        = "Villard, Jules",
  date-added    = "2014-11-20 16:12:47 +0000",
  date-modified = "2014-11-20 16:12:47 +0000",
  Month         = "February",
  School        = "Laboratoire Sp{\'e}cification et V{\'e}rification, {\'E}cole Normale Sup{\'e}rieure de Cachan, France",
  Title         = "Heaps and Hops",
  Type          = "{Ph.D.} Thesis",
  Year          = "2011",
  File          = "Heaps and Hops - Villard (0) (0) - a - a - h.pdf",
  file-2        = "Heaps and Hops - Villard (1) (0) - a - a - h.pdf"
}

@PhdThesis{ villard-phd2011, Author = "Villard, Jules", date-added = "2014-11-20 16:12:47 +0000", date-modified = "2014-11-20 16:12:47 +0000", Month = "February", School = "Laboratoire Sp{\'e}cification et V{\'e}rification, {\'E}cole Normale Sup{\'e}rieure de Cachan, France", Title = "Heaps and Hops", Type = "{Ph.D.} Thesis", Year = "2011", File = "Heaps and Hops - Villard (0) (0) - a - a - h.pdf", file-2 = "Heaps and Hops - Villard (1) (0) - a - a - h.pdf" }