On the Synthesis of Finite State Machines from Samples of their Behavior (1972)

by A Biermann, J Feldman
Venue:IEEE Transactions on Computers