@article{Biermann:1972:SFM:1638603.1638997,
    Address = {Washington, DC, USA},
    Author = {Biermann, A. W. and Feldman, J. A.},
    ISSN = {0018-9340},
    Journal = {IEEE Trans. Comput.},
    Keywords = {Finite-state functions, Nerode realization, finite-state machines, inference, sequential learning, synthesis},
    Month = {June},
    Number = {6},
    Pages = {592--597},
    Publisher = {IEEE Computer Society},
    Title = {On the Synthesis of Finite-State Machines from Samples of Their Behavior},
    URL = {http://dx.doi.org/10.1109/TC.1972.5009015},
    Volume = {21},
    Year = {1972},
    acmid = {1638997},
    bdsk-url-1 = {http://dx.doi.org/10.1109/TC.1972.5009015},
    date-added = {2013-12-22 13:04:57 +0000},
    date-modified = {2013-12-22 13:04:57 +0000},
    issue_date = {June 1972},
    numpages = {6},
    doi = {10.1109/TC.1972.5009015}
}

@article{Biermann:1972:SFM:1638603.1638997, Address = {Washington, DC, USA}, Author = {Biermann, A. W. and Feldman, J. A.}, ISSN = {0018-9340}, Journal = {IEEE Trans. Comput.}, Keywords = {Finite-state functions, Nerode realization, finite-state machines, inference, sequential learning, synthesis}, Month = {June}, Number = {6}, Pages = {592--597}, Publisher = {IEEE Computer Society}, Title = {On the Synthesis of Finite-State Machines from Samples of Their Behavior}, URL = {http://dx.doi.org/10.1109/TC.1972.5009015}, Volume = {21}, Year = {1972}, acmid = {1638997}, bdsk-url-1 = {http://dx.doi.org/10.1109/TC.1972.5009015}, date-added = {2013-12-22 13:04:57 +0000}, date-modified = {2013-12-22 13:04:57 +0000}, issue_date = {June 1972}, numpages = {6}, doi = {10.1109/TC.1972.5009015} }