A Survey of Testing for Instruction Sequence Theory

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},
}