“Modelling interactive computing systems: Do we have a good theory of what computers are?”, ZFN, no. 73, pp. 77–119, Dec. 2022, doi: 10.59203/zfn.73.597.