Inference of Reversible Languages. - Alain Bonopera; Bruno Gaujal (Int. J. Algebra Comput., 1992)