Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine
scientific article; zbMATH DE number 5558109