David Lightfoot Biographie Professeur à l'Université d'Oxford (en 1994). Contributions de David Lightfoot Auteur La spécification formelle avec Z David Lightfoot Teknéa