@incollection{Hopcroft_1971,
    doi = {10.1016/b978-0-12-417750-5.50022-1},
    url = {https://doi.org/10.1016%2Fb978-0-12-417750-5.50022-1},
    year = {1971},
    publisher = {Elsevier},
    pages = {189--196},
    author = {John Hopcroft},
    title = {{AN} n log n {ALGORITHM} {FOR} {MINIMIZING} {STATES} {IN} A {FINITE} {AUTOMATON}},
    booktitle = {Theory of Machines and Computations}
}

@incollection{Hopcroft_1971, doi = {10.1016/b978-0-12-417750-5.50022-1}, url = {https://doi.org/10.1016%2Fb978-0-12-417750-5.50022-1}, year = {1971}, publisher = {Elsevier}, pages = {189--196}, author = {John Hopcroft}, title = {{AN} n log n {ALGORITHM} {FOR} {MINIMIZING} {STATES} {IN} A {FINITE} {AUTOMATON}}, booktitle = {Theory of Machines and Computations} }