Analysis of modular arithmetic

Markus Müller-Olm, Helmut Seidl. Analysis of modular arithmetic. ACM Transactions on Programming Languages and Systems, 29(5):29, 2007. [doi]

Abstract

Abstract is missing.