Algorithm 848
Algorithm 825
A recursive algorithm for the infinity-norm fixed point problem
ACM Transactions on Mathematical Software
Journal of Complexity
K. Sikorski