The Wayback Machine - https://web.archive.org/web/20110503201606/http://cs.engr.uky.edu/~gstump/periphrasispapers/Progressive.pdf