Add specification files