Roy Overbeek: Formalizing determinacy of concurrent revisions. CPP 2020: 258-269