This document is unfortunately not available for download at the moment.
Giovanni Sommaruga (2011) Foundational theories of classical and constructive mathematics, Dordrecht, Springer.
Conclusion
a perspective on future research in fom
Giovanni Sommaruga , John L. Bell
pp. 311-314
Not implemented yet !