Non-perturbative quantum field theory mathematical aspects and applications - Fröhlich, Jürg (World Scientific, 1992)