@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},
}