Topological modular forms with level structure - Michael Hill; Tyler Lawson (2013)