The theory of the class HOD
1977 ◽
pp. 251-255
◽