Semirings, with and without additive/multiplicative identities, and R-modules. - View it on GitHub