@PHDTHESIS{jaber2014,
url = "http://www.theses.fr/2014EMNA0124",
title = "A logical study of program equivalence",
author = "Jaber, Guilhem",
year = "2014",
note = "Thèse de doctorat dirigée par Miquel, Alexandre Informatique et applications Nantes, Ecole des Mines 2014",
note = "2014EMNA0124",
url = "http://www.theses.fr/2014EMNA0124/document",
}