Heat Kernel Analysis on Infinite-Dimensional Heisenberg Groups - Bruce Driver; Maria Gordina (2008)