Create SPECIFICATION.txt