On some aspects of decidability of annotated systems - Abe, J. M. (2001)