A graph covering construction of all the finite complete biprefix codes
coverings of graphs of homogeneous synchronized automata
scientific article; zbMATH DE number 3735181