Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer (2006) Algebra, meaning, and computation: essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday, Dordrecht, Springer.
pp. 150-156
This document is unfortunately not available for download at the moment.
