Changed specification.txt to specification.md