The Wayback Machine - https://web.archive.org/web/20070614063821/http://caae.phil.cmu.edu/projects/ast/Papers/awodey_outline.pdf