Su tesis de doctorado "ès-lettres" por la Universidad de Neuchâtel, "Cálculo de las Normas", defendida en 1973, se ha convertido en una obra clásica de la lógica de los sistemas normativos.