@article{McNaughton1966521,
    Author = {McNaughton, Robert},
    File = {Testing and generating infinite sequences by a finite automaton - McNaughton (0) (0) - a - a - u.pdf},
    ISSN = {0019-9958},
    Journal = {Information and Control},
    Number = {5},
    Pages = {521 - 530},
    Title = {Testing and generating infinite sequences by a finite automaton},
    URL = {http://www.sciencedirect.com/science/article/pii/S001999586680013X},
    Volume = {9},
    Year = {1966},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S001999586680013X},
    bdsk-url-2 = {http://dx.doi.org/10.1016/S0019-9958(66)80013-X},
    date-added = {2014-01-28 19:29:16 +0000},
    date-modified = {2014-01-28 19:29:16 +0000},
    doi = {10.1016/S0019-9958(66)80013-X}
}

@article{McNaughton1966521, Author = {McNaughton, Robert}, File = {Testing and generating infinite sequences by a finite automaton - McNaughton (0) (0) - a - a - u.pdf}, ISSN = {0019-9958}, Journal = {Information and Control}, Number = {5}, Pages = {521 - 530}, Title = {Testing and generating infinite sequences by a finite automaton}, URL = {http://www.sciencedirect.com/science/article/pii/S001999586680013X}, Volume = {9}, Year = {1966}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S001999586680013X}, bdsk-url-2 = {http://dx.doi.org/10.1016/S0019-9958(66)80013-X}, date-added = {2014-01-28 19:29:16 +0000}, date-modified = {2014-01-28 19:29:16 +0000}, doi = {10.1016/S0019-9958(66)80013-X} }