A refinement of Jensen's constructible hierarchy. - Peter Koepke; Marc van Eijmeren (FotFS, 2001)