Logic, rewriting, and concurrency. Essays dedicated to José Meseguer on the occasion of his 65th birthday
scientific article; zbMATH DE number 6477617