, 2006, Complete categorical deduction for satisfaction as injectivity, in K. Futatsugi, J. Jouannaud & J. Meseguer (eds.), Algebra, meaning, and computation, Dordrecht, Springer, pp. 157-172.