@article{article, title = {{Specification, Testing and Verification of Unconventional Computations using Generalised X-Machines}}, publisher = {{Taylor & Francis}}, url = {{http://eprints.whiterose.ac.uk/76025/ http://www.tandfonline.com/doi/full/10.1080/03081079.2014.924203 }}, year = {{2014}}, month = {{6}}, author = {{Stannett MP}}, doi = {{10.1080/03081079.2014.924203}}, volume = {{43}}, journal = {{International Journal of General Systems}}, issue = {{7}}, pages = {{713-721}}, note = {{Accessed on 2024/10/23}}}