The cartesian composition of automata

From MaRDI portal
Publication:4166235