2-asynchronous automata
scientific article; zbMATH DE number 4070335
scientific article