A. Nagy, “Boolean-type retractable automata with traps”, Acta Cybern, vol. 10, no. 1-2, pp. 53-64, Jan. 1991.