Henning Fernau Klaus Reinhardt Ludwig Staiger Decidability of code properties. 153-163 1999 conf/dlt/1999 Developments in Language Theory db/conf/dlt/dlt1999.html#FernauR99