with Sannella, D. , 2006, Horizontal composability revisited, in K. Futatsugi, J. Jouannaud & J. Meseguer (eds.), Algebra, meaning, and computation, Dordrecht, Springer, pp. 296-316.