Robert D. Rosebrugh, Nicoletta Sabadini, Robert F. C. Walters. Minimal Realization in Bicategories of Automata. Mathematical Structures in Computer Science, 8(2):93-116, 1998.
@article{RosebrughSW98, title = {Minimal Realization in Bicategories of Automata}, author = {Robert D. Rosebrugh and Nicoletta Sabadini and Robert F. C. Walters}, year = {1998}, tags = {C++}, researchr = {https://researchr.org/publication/RosebrughSW98}, cites = {0}, citedby = {0}, journal = {Mathematical Structures in Computer Science}, volume = {8}, number = {2}, pages = {93-116}, }