Algebraic Set Theory by Ieke Moerdijk, Izak Moerdijk & Andri Joyal