Martin, A.; Magnaudet, M.; Conversy, S. Modelling Interactive Computing Systems: Do We Have a Good Theory of What Computers Are?. ZFN 2022, 77-119.