Adding Krol preprint.  The DOI does not seem to be active yet.
Adding Hales, 2013 preprint.