J. M. Cadiou Jean-Jacques Lévy 34-48 conf/focs/FOCS14 1973 FOCS db/conf/focs/focs73.html#CadiouL73