Andreas Schroeder 0001 Sebastian S. Bauer Martin Wirsing A contract-based approach to adaptivity. 180-193 2011 80 J. Log. Algebraic Methods Program. 3-5 https://doi.org/10.1016/j.jlap.2010.09.001 db/journals/jlp/jlp80.html#SchroederBW11
