2003): A categorical framework for finite state machines (0)

by Peter Hines
Venue:Mathematical Structures in Computer Science 13