https://123dok.net/document/qo5lwm7y-causal-consistent-reversibility-in-a-tuple-based-language.html