Modelling Interactive Computing Systems: Do We Have a Good Theory of What Computers Are?. ZFN 2022, No. 73, 77-119. https://doi.org/10.59203/zfn.73.597.