José Meseguer A Rewriting Logic Sampler. 1-28 2005 conf/ictac/2005 ICTAC http://dx.doi.org/10.1007/11560647_1 db/conf/ictac/ictac2005.html#Meseguer05