Grammatical inference by heuristic search - Cook, Craig Martin (1974)