AUTEURS / AUTHORS :                          
Judicaël Courant,   Jean-François Monin      
VERIMAG, Université Joseph Fourier, Grenoble 
Licence: CeCILL, http://www.cecill.info/index.en.html              
2006 

Complete set: balword.tar.gz

Main files: exo*.v Correctness.v extraction.v
            main.ml        (for running extracted programs and benchmarks)
            analysis.ml    (for analysing performance results 
                            using ocaml toplevel)

Structure: coq.depend.ps
The latter was computed by a small tool called dependot:
http://www-verimag.imag.fr/~monin/Soft/Dependot/