The smallest Mealy automaton generating an indicable regular branch group

From MaRDI portal
Publication:6123172