H. Martin Bücker Arno Rasch Modeling the performance of interface contraction. 440-457 2003 29 ACM Trans. Math. Softw. 4 http://doi.acm.org/10.1145/962437.962442 db/journals/toms/toms29.html#BuckerR03