Kevin Lano, Shichao Fang, Shekoufeh Kolahdouz Rahimi: <i>TL</i>: an abstract specification language for bidirectional transformations. MoDELS (Companion) 2020: 77:1-77:10