Loop groups - Pressley, Andrew (Clarendon Press, 1986)