Inference of reversible languages (1982)

by Dana Angluin, Yale Untverstty
Venue:Journal of the ACM, JACM