A contract-based approach to adaptivity
scientific article; zbMATH DE number 5904560