On the synthesis of finite-state machines from samples of their behavior (1972)

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