@article{Muller-Olm07Analysis,
  author = {Markus M\"uller-Olm and Helmut Seidl},
  title = {Analysis of modular arithmetic},
  journal = {ACM Trans. Program. Lang. Syst.},
  year = 2007,
  volume = {29},
  number = {5},
}