1. Michael Beeson, Foundations of Constructive Mathematics, Springer-Verlag, Heidelberg, 1985.
2. Errett Bishop, Foundations of Constructive Analysis, McGraw-Hill, New York, 1967.
3. Errett Bishop and Douglas Bridges, Constructive Analysis, Grundlehren math. Wiss. 279, Springer-Verlag, Heidelberg, 1985.
4. Douglas Bridges, Computability: A Mathematical Sketchbook, Graduate Texts in Mathematics 146, Springer-Verlag, Heidelberg, 1994.
5. Douglas Bridges, “Constructive mathematics and unbounded operators a reply to Hellman”, J. Philos. Logic 24, 549–561, 1995.