Topological modular forms (aftern Hopkins, Miller, and Lurie) - Paul G. Goerss (2009)