A theory of formal synthesis via inductive learning
Inductive Inference: Theory and Methods