Some Inference Rules for Integer Arithmetic for Verification of Flowchart Programs on Integers.

Dipankar Sarkar S. C. De Sarkar Some Inference Rules for Integer Arithmetic for Verification of Flowchart Programs on Integers. 1-9 http://doi.ieeecomputersociety.org/10.1109/32.21720 1989 15 IEEE Trans. Software Eng. 1 db/journals/tse/tse15.html#SarkarS89