@misc{indiciaee3dc527e867f, title = {On the expressiveness of single-pass instruction sequences}, author = {J. A. Bergstra and C. A. Middelburg}, year = {2009}, doi = {10.1007/s00224-010-9301-8}, url = {https://arxiv.org/abs/0810.1106}, note = {Source identifier: 0810.1106} }