Models of ZF-Set Theory - nidottu, Englanti, 1971