Память ЭВМ как абстрактный автомат - Сурков (Труды СПИИРАН, 2005)