@misc{indiciaec2ce5a2b409e,
  title = {Timed tuplix calculus and the Wesseling and van den Bergh equation},
  author = {J. A. Bergstra and C. A. Middelburg},
  year = {2013},
  doi = {10.7561/sacs.2013.2.169},
  url = {https://arxiv.org/abs/0901.3003},
  note = {Source identifier: 0901.3003}
}