Barendregt, Henk, cFoundations of Mathematics from the Perspective of Computer Verificationd, in: Mathematics, Computer Science and LogiA Never Ending Story, Cham: Springer 2013, 1349
V. Peckhaus, Mathematical Reviews, M86722  (2014).