Сурков,: Память ЭВМ как абстрактный автомат. Труды СПИИРАН 2(2), 201-211 (2005). doi:10.15622/sp.2.18