An overview of Vaucanson

From LRDE

Abstract

FIXME