Minimal free resolution of a finitely generated module over a regular local ring