Пантелеевand Panteleev. Об отличимости состояний автоматов. Steklov Mathematical Institute, 2003, doi:10.4213/dm207.