W. Herfort: "Linear Algebra over finitely generated R-modules"; Report for Kapodistrian U, Dept. Algebra and Geometry; 2003.
Reviewing the basic concepts of algorithmic linear algebra over an R-module M. Emphasis is on shortness.