Ab Initio Many-Body Theory For Solids Based On The Green'S Function Formalism