A. Martin, M. Magnaudet, and S. Conversy, “Modelling interactive computing systems: Do we have a good theory of what computers are?”, ZFN, no. 73, pp. 77–119, Dec. 2022.