@misc{indiciaebfab683998e4,
  title = {Instruction sequence processing operators},
  author = {J. A. Bergstra and C. A. Middelburg},
  year = {2012},
  doi = {10.1007/s00236-012-0154-2},
  url = {https://arxiv.org/abs/0910.5564},
  note = {Source identifier: 0910.5564}
}