Update README.md add theoretical spec