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

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