25488 Sylvain Lombardy/Jacques Sakarovitch: Vaucanson-G user's manual. Internet 2008, 36p.