Error-detecting properties of languages. - Stavros Konstantinidis; Amber O'Hearn (Theor. Comput. Sci., 2002)