@PHDTHESIS{genev2004,
url = "http://www.theses.fr/2004GRE10220",
title = "Vers des spécifications formelles : fondements mathématiques et informatiques pour la géométrie dynamique",
author = "Geneves, Bernard",
year = "2004",
pages = "1 volume (92-13 pages)",
note = "Thèse de doctorat dirigée par Laborde, Jean-Marie Informatique Université Joseph Fourier (Grenoble ; 1971-2015) 2004",
note = "2004GRE10220",
}