Antonio Cerone. Multifaceted formal methods and their interdisciplinary role - From the cathedral of 'components as coalgebras' to the HCI context and the open source software bazaar. J. Log. Algebr. Meth. Program., 142:101006, 2025. [doi]
Abstract is missing.