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