@inproceedings{Muller-Olm05Analysis, author = {Markus M\"uller-Olm and Helmut Seidl}, title = {Analysis of {M}odular {A}rithmetic}, booktitle = {Programming Languages and Systems}, editor = {Shmuel Sagiv}, month = {April}, year = 2005, pages = {46-60}, series = {Lecture Notes in Computer Science}, volume = {3444}, publisher = {Springer}, address = {Edinburgh, UK}, }