"A non-inversion theorem for the jump operator."

Richard A. Shore (1988)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics