Antoine Meyer: Graphes infinis de présentation finie. (Finitely Presented Infinite Graphs). University of Rennes 1, France 2005