Testing (stream) X-machines
scientific article; zbMATH DE number 2004970