A semantic account of metric preservation. - Arthur Azevedo de Amorim; Marco Gaboardi; Justin Hsu; Shin-ya Katsumata; Ikram Cherigui (POPL, 2017)