complete renaming of spec, and updated biblio