Added specifications doc