Towards a formal model for composable container systems. - Fabio Burco; Marino Miculan; Marco Peressotti (SAC, 2020)