Hellman. Shapiro Stewart. Second-order Languages and Mathematical Practice. The Journal of Symbolic Logic, Vol. 50 (1985), Pp. 714–742.. no. 01, Cambridge University Press (CUP), 1989, doi:10.2307/2275038.