Modeles transitifs de la theorie des ensembles de Zermelo-Fraenkel - Mostowski, Andrzej (Presses de l'Universite de Montreal, 1971)