1. ISO/IEC 10967-1:1994. Information technology—Language independent arithmetic—Part 1: Integer and floating point arithmetic. ISO/IEC, 1994.
2. ISO/IEC 13211-1:1995. Information technology—Programming languages— Prolog—Part 1: General core. ISO/IEC, 1995.
3. A. Aggoun, D. Chan, P. Dufresne, E. Falvey, H. Grant, W. Harvey, A. Herold, M. Geoffrey, M. Meier, D. Miller, S. Mudambi, S. Novello, B. Perez, E. van Rossum, J. Schimpf, K. Shen, P. A. Tsahageas, and D. H. de Villeneuve. ECL i PS e User Manual. Release 5.3, 2001.
4. Y. Aït Ameur, P. Cros, J. J. Falcón, and A. Gómez. An application of abstract interpretation to floating point arithmetic. In M. Billaud, P. Castéran, M.-M. Corsini, K. Musumbu, and A. Rauzy, editors, Actes WSA’92 Workshop on Static Analysis, volume 81–82 of Bigre, pages 205–212. Atelier Irisa, IRISA, Campus de Beaulieu, 1992.
5. K. R. Apt. From Logic Programming to Prolog. Prentice-Hall Int. Series in Computer Science. Prentice Hall, 1997.