with Marcelino, S. , Baltazar, P. , 2015, Deciding theoremhood in fibred logics without shared connectives, in A. Koslow & A. Buchsbaum (eds.), The road to universal logic II, Basel, Birkhäuser, pp. 387-406.
with Sernadas, C. , 2006a, Quantum institutions, in K. Futatsugi, J. Jouannaud & J. Meseguer (eds.), Algebra, meaning, and computation, Dordrecht, Springer, pp. 50-64.