A categorist's view of automata and systems

A categorist's view of automata and systems | Litlas