Added shortened wayback machine URL to bibliography for #1.
move punctuation around wrt citation
Changed nondeterministic to indeterminate. Fixes #2.