Petr Vopenka, Katerina Trlifajová: Alternative Set Theory. Encyclopedia of Optimization 2009: 73-77