@article{Ferrari_2005,
    doi = {10.1016/j.tcs.2004.09.021},
    url = {https://doi.org/10.1016%2Fj.tcs.2004.09.021},
    year = {2005},
    month = {feb},
    publisher = {Elsevier {BV}},
    volume = {331},
    number = {2-3},
    pages = {325--365},
    author = {Gianluigi Ferrari and Ugo Montanari and Emilio Tuosto},
    title = {Coalgebraic minimization of {HD}-automata for the -calculus using polymorphic types},
    journal = {Theoretical Computer Science}
}

@article{Ferrari_2005, doi = {10.1016/j.tcs.2004.09.021}, url = {https://doi.org/10.1016%2Fj.tcs.2004.09.021}, year = {2005}, month = {feb}, publisher = {Elsevier {BV}}, volume = {331}, number = {2-3}, pages = {325--365}, author = {Gianluigi Ferrari and Ugo Montanari and Emilio Tuosto}, title = {Coalgebraic minimization of {HD}-automata for the -calculus using polymorphic types}, journal = {Theoretical Computer Science} }