Using nonstandard analysis to verify the correctness of computations. Beeson, M. International Journal of Foundations of Computer Science, 6(3):299-338, 1995.
Using nonstandard analysis to verify the correctness of computations [pdf]Pdf  bibtex   4 downloads  

Downloads: 4