[math.PR]. Rodgers, Brad; Tao, Terence. The DeBruijn-Newman constant is non-negative. Forum of Mathematics, Pi. 6 April 2020, 8: e6. arXiv:1801.05914 .
North-Holland. 1958. , with 2 sections by William Craig, see paragraph 9E DeBruijn, Nicolaas. Automath, a language for mathematics. TH-report 68-WSK-05 (Department