Piedeleu, R;
Zanasi, F;
(2021)
A String Diagrammatic Axiomatisation of Finite-State Automata.
In: Kiefer, S and Tasson, C, (eds.)
Foundations of Software Science and Computation Structures.
(pp. pp. 469-489).
Springer