Computing halting probabilities from other halting probabilities
scientific article