
@inproceedings{Stannett,
 author = {Stannett, Mike},
 year = 2015,
title = {Towards Formal Verification of Computations and Hypercomputations in Relativistic Physics},
editor = {Durand-Lose, J. and Nagy, B.},
booktitle = {Machines, Computations, and Universality 2015, 09-11 Sep 2015, Famagusta, North Cyprus},
series =  {Lecture Notes in Computer Science}, number = 9288,
publisher =  {Springer Verlag}, location = {Germany}
}

@article{Hogarth,
author = {Hogarth, M.},
title = {Deciding arithmetic using {SAD} computers},
journal = {British Journal for the Philosophy of Science},
volume = 55, pages =  {681--691}, year = 2004
}

@article{Nemeti,
author = {Etesi, G. and N{\'e}meti, I.}, 
title = {Non-turing computations via {Malament-Hogarth} space-times},
journal = {Int. J. Theor. Phys.}, volume = 41, pages = {341--370}, year = 2002
}

