@misc{indiciae526946af1bc1,
  title = {Program algebra with a jump-shift instruction},
  author = {J. A. Bergstra and C. A. Middelburg},
  year = {2007},
  doi = {10.1016/j.jal.2008.07.001},
  url = {https://arxiv.org/abs/0712.1658},
  note = {Source identifier: 0712.1658}
}