J.A.: On the synthesis of finite-state machines from samples of their behavior (1972)

by A W Biermann, Feldman
Venue:IEEE Trans. Comput