Jan A. Bergstra. A Survey of Testing for Instruction Sequence Theory. Sci. Ann. Cuza Univ., 32(1):5-86, 2022. [doi]
@article{Bergstra22, title = {A Survey of Testing for Instruction Sequence Theory}, author = {Jan A. Bergstra}, year = {2022}, doi = {10.7561/SACS.2022.1.5}, url = {https://doi.org/10.7561/SACS.2022.1.5}, researchr = {https://researchr.org/publication/Bergstra22}, cites = {0}, citedby = {0}, journal = {Sci. Ann. Cuza Univ.}, volume = {32}, number = {1}, pages = {5-86}, }