Added 'spec-names' property.
Reformated and removed unused code.
Improved biblio entries.