Parametric random generation of deterministic tree automata
scientific article; zbMATH DE number 5796907
scientific article