Boolean-type Retractable State-finite Automata Without Outputs. - Mark Füzesdi (CoRR, 2015)