Interval Domains and Computable Sequences: A Case Study of Domain Reductions - Jens Blanck (The Computer Journal, 2013)