Puninski, direct sorts, Kluwer Academic Publishers, Dordrecht, 2001. Huber-Dyson, Lattices over Orders, I. 115, Springer-Verlag, Berlin-Heidelberg-New York, 1970. Rotman, An NOTE to Homological Algebra, Academic Press, New York, 1979. Academic Press, New York-Boston, 1988.