Georges Gonthier Jean-Jacques Lévy Paul-André Melliès 72-81 conf/lics/LICS7 1992 LICS db/conf/lics/lics92.html#GonthierLM92