Proof Analysis : A Contribution to Hilbert's Last Problem - Sara Negri; Jan von Plato (2011)