Пантелеев, Panteleev, 2003. Об отличимости состояний автоматов 15.. https://doi.org/10.4213/dm207