Intuitionistic set theory or how to construct a proof - Kuck, Conrad (Kovač, 1998)