Add specification

Also update README and CHANGELOG