1. Broy, M., Stølen, K.: Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement. Springer, Heidelberg (2001)
2. Broy, M.: A Theory of System Interaction: Components, Interfaces, and Services. In: Goldin, D., Smolka, S., Wegner, P. (eds.) The New Paradigm, pp. 41–96. Springer, Heidelberg (2006)
3. Darondeau, P.: Concurrency and Computability. In: Proceedings of the LITP Spring School on Theoretical Computer Science on Semantics of Systems of Concurrent Processes, La Roche Posay, France, November 1990, pp. 223–238 (1990)
4. Eberbach, E., Goldin, D., Wegner, P.: Turing’s Ideas and Models of Computation. In: Alan Turing: Life and Legacy of a Great Thinker, Springer, Heidelberg (2004)
5. Goldin, D., Smolka, S., Attie, P., Sonderegger, E.: Turing Machines, Transition Systems, and Interaction. Information & Computation Journal (2004)