Calculation of invariants of programs interpreted over an integrality domain

[1]  Arnold Schönhage,et al.  Partial and Total Matrix Multiplication , 1981, SIAM J. Comput..