Bursts and output feedback control of non-deterministic asynchronous sequential machines
nondeterministic asynchronous sequential machines
scientific article; zbMATH DE number 6140035