Algebra, Meaning, and Computation Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday - Futatsugi, Kokichi; Jouannaud, Jean-Pierre; Meseguer, José (Springer Berlin Heidelberg, 2006)