Traduction arithmétique des graphes et des relations binaires et applications logiques et informatiques - Sáchez-Mazas, Miguel (My University, 1981)