1. The C Programming Language;Kernighan,1988
2. Programming in Modula-2;Wirth,1983
3. Exact real arithmetic: A case study in higher order programming;Boehm,1986
4. Exact real computer arithmetic with continued fractions;Vuillemin,1988
5. Recursion equations as a programming language;Turner,1982