Jan A. Bergstra, Cornelis A. Middelburg. Program Algebra for Turing-Machine Programs. Sci. Ann. Cuza Univ., 29(2):113-139, 2019. [doi]
@article{BergstraM19-0, title = {Program Algebra for Turing-Machine Programs}, author = {Jan A. Bergstra and Cornelis A. Middelburg}, year = {2019}, doi = {10.7561/SACS.2019.2.113}, url = {https://doi.org/10.7561/SACS.2019.2.113}, researchr = {https://researchr.org/publication/BergstraM19-0}, cites = {0}, citedby = {0}, journal = {Sci. Ann. Cuza Univ.}, volume = {29}, number = {2}, pages = {113-139}, }