Notes concerning “Incremental computation”