Updated specification

Specification has now been fully updated, also some minor updates to
bibliography.