Dina Q. Goldin, Scott A. Smolka, Paul C. Attie, Elaine L. Sonderegger. Turing machines, transition systems, and interaction. Inf. Comput., 194(2):101-128, 2004. [doi]
@article{GoldinSAS04, title = {Turing machines, transition systems, and interaction}, author = {Dina Q. Goldin and Scott A. Smolka and Paul C. Attie and Elaine L. Sonderegger}, year = {2004}, doi = {10.1016/j.ic.2004.07.002}, url = {http://dx.doi.org/10.1016/j.ic.2004.07.002}, tags = {C++}, researchr = {https://researchr.org/publication/GoldinSAS04}, cites = {0}, citedby = {0}, journal = {Inf. Comput.}, volume = {194}, number = {2}, pages = {101-128}, }