Loop spaces, characteristic classes, and geometric quantization (Boston, Mass. : Birkhauser, 1993)