@misc{indiciae9594a4857b09,
  title = {On instruction sets for Boolean registers in program algebra},
  author = {J. A. Bergstra and C. A. Middelburg},
  year = {2016},
  doi = {10.7561/sacs.2016.1.1},
  url = {https://arxiv.org/abs/1502.00238},
  note = {Source identifier: 1502.00238}
}