Сурков, Память ЭВМ как абстрактный автомат, ТС, т. 2, вып. 2, сс. 201-211, апр. 2005.