Lançamentos por Atiyah, Michael (, University of Edinburgh)