On the decidability of the equivalence problem for monadic recursive programs

Zakharov, Vladimir A.

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Volume 34 (2000) p. 157-171