1. Computer Arithmetic in Theory and Practice;KULISCH,1981
2. Termination criterion and numerical convergence;NICKEL;SIAM J. Numer. Anal.,1972
3. VIGNES, J. and LA PORTE, M. Error analysis in computing. Proceedings of IFIP Congress, Stockholm (1974) pp. 609–614.
4. New methods for evaluating the validity of the results of mathematical computations;VIGNES;Math - and Comp. in Sim,1978
5. VIGNES, J.: An efficient practical method for evaluating the accuracy of mathematical computations. AFCET symposium: mathematics for computer science, Paris 1982.