Verified Operational Transformation for Trees. - Sergey Sinchuk; Pavel Chuprikov; Konstantin Solomatov (ITP, 2016)