Vlastimil Dort, Ondrej Lhoták: Reference Mutability for DOT. ECOOP 2020: 18:1-18:28