A survey of inductive inference: Theory and methods." Computing Surveys 15:237{289 (1983)

by D Angluin, C Smith