Ewald, William, cHilbers Wide Programd, in: Logic Colloquium 2000, Association for Symbolic Logic: Urbana 2005 (Lect. Notes Logic; 19), 2283251
V. Peckhaus, Mathematical Reviews, M43880 (2006d:03005)  (2006).