Description abstraite des Systèmes de Réécriture (1996)

by P-A Melliès