My guess is that the formal spec for a basic TODO list app is the same size as the source code of the app itself.