Turing machines, transition systems, and interaction (2004)

by D Goldin, S Smolka, P Attie, E Sonderegger
Venue:Information and Computation