Bibtex de la publication

@PhDThesis{ Ba1994.3,
author = {Bahsoun, Jean-Paul},
title = "{Les Objets Concurrents et leurs Systèmes de Preuve}",
year = {1994},
month = {décembre},
type = {Habilitation à diriger des recherches},
school = {Université Paul Sabatier},
address = {Toulouse, France}
}