This document is unfortunately not available for download at the moment.
Giovanni Sommaruga (2011) Foundational theories of classical and constructive mathematics, Dordrecht, Springer.
Euclidean arithmetic
the finitary theory of finite sets
J.P. Mayberry
pp. 227-243
Not implemented yet !