The Theory of Semisets - Vopěnka, Petr, 1935-; Hájek, Petr, 1940- (Prague : Academia, 1972)