1 paper
Kris Coward, D. R. Toliver
An important use of computational systems is updating the state of an object while preserving some set of invariants. That object might be a file, a row in a database, or perhaps a…