"Algebra, meaning and computation. Essays dedicated to J.A. Goguen" - читать интересную книгу автора (Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer)