Update SPECIFICATION.md