Calcagno, Gardner, Zarfaty, 2005. Context logic and tree update 40.. https://doi.org/10.1145/1047659.1040328