Kp. The Curious Inference of Boolos in Mizar and OMEGA / Christoph E. Benzmüller and Chad E. Brown // From insight to proof : Festschrift in honour of Andrzej Trybulec / guest editors: Roman Matuszewski, Anna Zalewska. - Białystok, 2007. - S. 299-386.

Saarland University, 1.08.2017 https://www.ps.uni-saarland.de/~cebrown/