Formal description of multi-touch interactions. - Hamon-Keromen Arnaud; Philippe A. Palanque; José Luís Silva 001; Yannick Deleris; Eric Barboni (EICS, 2013)