@misc{indiciaea84f121a443a,
  title = {Instruction sequence expressions for the secure hash algorithm SHA-256},
  author = {J. A. Bergstra and C. A. Middelburg},
  year = {2017},
  url = {https://arxiv.org/abs/1308.0219},
  note = {Source identifier: 1308.0219}
}