Change actions: from incremental computation to discrete derivatives - Alvarez-Picallo, M (University of Oxford, 2020)