Limits of exact algorithms for inference of minimum size finite state machinesArlindo L. Oliveira, Stephen A. EdwardsLecture notes in computer science book