Jean-Pierre Jouannaud: pioneiro da reescrita de computador