Volker Strassen: Berechnungen in partiellen Algebren endlichen Typs. Computing 11(3): 181-196 (1973)