@article{doi:10.1080/03081077608547469,
    Author = {Gaines, Brian and Kohout, Ladislav},
    EPrint = {http://www.tandfonline.com/doi/pdf/10.1080/03081077608547469},
    File = {The Logic of Automata - Gaines, Kohout (0) (0) - a - a - h.pdf},
    Journal = {International Journal of General Systems},
    Keywords = {finite automata and automata theory},
    Number = {4},
    Pages = {191-208},
    Title = {The Logic of Automata},
    URL = {http://www.tandfonline.com/doi/abs/10.1080/03081077608547469},
    Volume = {2},
    Year = {1976},
    bdsk-url-1 = {http://www.tandfonline.com/doi/abs/10.1080/03081077608547469},
    bdsk-url-2 = {http://dx.doi.org/10.1080/03081077608547469},
    date-added = {2012-12-29 13:51:44 +0000},
    date-modified = {2012-12-29 13:52:24 +0000},
    doi = {10.1080/03081077608547469}
}

@article{doi:10.1080/03081077608547469, Author = {Gaines, Brian and Kohout, Ladislav}, EPrint = {http://www.tandfonline.com/doi/pdf/10.1080/03081077608547469}, File = {The Logic of Automata - Gaines, Kohout (0) (0) - a - a - h.pdf}, Journal = {International Journal of General Systems}, Keywords = {finite automata and automata theory}, Number = {4}, Pages = {191-208}, Title = {The Logic of Automata}, URL = {http://www.tandfonline.com/doi/abs/10.1080/03081077608547469}, Volume = {2}, Year = {1976}, bdsk-url-1 = {http://www.tandfonline.com/doi/abs/10.1080/03081077608547469}, bdsk-url-2 = {http://dx.doi.org/10.1080/03081077608547469}, date-added = {2012-12-29 13:51:44 +0000}, date-modified = {2012-12-29 13:52:24 +0000}, doi = {10.1080/03081077608547469} }