Algebra, Meaning, and Computation - Futatsugi, Kokichi; Goguen, Joseph; Jouannaud, Jean-Pierre; Kanade, Takeo; Meseguer, José (Springer Berlin / Heidelberg, 2006)