Algebra, meaning, and computation essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday / - Goguen, Joseph.; Futatsugi, Kokichi.; Jouannaud, Jean-Pierre.; Meseguer, José. (Lecture notes in computer science,)