@misc{indiciae0c75095018e4,
  title = {Applying the Z-transform for the static analysis of floating-point numerical filters},
  author = {David Monniaux},
  year = {2007},
  url = {https://arxiv.org/abs/0706.0252},
  note = {Source identifier: 0706.0252}
}