Systematic derivation of incremental programs
scientific article; zbMATH DE number 762127