Analysis of Modular Arithmetic (0)

by M Müller-Olm, H Seidl
Venue:Transactions on Programming Languages and Systems