Ordinal-definability in axiomatic set theory: the inner model HOD, generic extensions and elementary embeddings - Deck, Klaus-Georg (1992)