@article{Moore_1971,
    doi = {10.1109/t-c.1971.223108},
    url = {https://doi.org/10.1109%2Ft-c.1971.223108},
    year = {1971},
    month = {oct},
    publisher = {Institute of Electrical and Electronics Engineers ({IEEE})},
    volume = {C-20},
    number = {10},
    pages = {1211--1214},
    author = {F.R. Moore},
    title = {On the Bounds for State-Set Size in the Proofs of Equivalence Between Deterministic, Nondeterministic, and Two-Way Finite Automata},
    journal = {{IEEE} Transactions on Computers}
}

@article{Moore_1971, doi = {10.1109/t-c.1971.223108}, url = {https://doi.org/10.1109%2Ft-c.1971.223108}, year = {1971}, month = {oct}, publisher = {Institute of Electrical and Electronics Engineers ({IEEE})}, volume = {C-20}, number = {10}, pages = {1211--1214}, author = {F.R. Moore}, title = {On the Bounds for State-Set Size in the Proofs of Equivalence Between Deterministic, Nondeterministic, and Two-Way Finite Automata}, journal = {{IEEE} Transactions on Computers} }