An introduction to non-perturbative foundations of quantum field theory - Strocchi, Franco (Oxford University Press, 2013)