@article{article, title = {{Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine}}, publisher = {{Springer Science and Business Media LLC}}, url = {{}}, year = {{2008}}, month = {{1}}, author = {{Hierons RM and Ipate F}}, doi = {{10.1007/s00165-008-0087-2}}, volume = {{20}}, journal = {{Formal Aspects of Computing}}, issue = {{6}}, pages = {{597-617}}, note = {{Accessed on 2025/07/15}}}