Type-Driven Cross-Programming for Android and LEGO Mindstorms Interoperability. - Alvise Spanò; Agostino Cortesi; Giulio Zausa (CISIM, 2019)