Minimal Realization in Bicategories of Automata (1998)

by Robert Rosebrugh, N. Sabadini, R. F. C. Walters
Venue:Math. Structures in Computer Science