Description abstraite des systèmes de réécriture (1996)

by P-A Melliès