https://123dok.net/document/z3dm5rrd-type-iv-codes-over-non-local-unital-ring.html