Auto/Graph and Fc2tools documentation
FC2Tools User Manual,

including description of Autograph, fc2implicit and fc2explicit softwares.
Also available by direct ftp from ftp-sop.inria.fr as: meije/verif/fc2.userman.ps

Fc2 format Reference Manual,

Also available by direct ftp from ftp-sop.inria.fr as: meije/verif/fc2.refman.ps

Mauto manual version 2-5,

Also available by ftp from ftp-sop.inria.fr as: meije/verif/mauto.v2-5b.manuals.tar.z

FC2Tools Implementation Manual,

for further programming of software extensions.
Also available by direct ftp from ftp-sop.inria.fr as: meije/verif/fc2.implman.ps