Algebra, meaning, and computation

by Joseph Goguen, Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer