3+1 Formalism In General Relativity by Eric Gourgoulhon