Christiano de O. Braga Edward Hermann Haeusler José Meseguer Peter D. Mosses Mapping Modular SOS to Rewriting Logic. 262-277 2002 conf/lopstr/2002 LOPSTR http://dx.doi.org/10.1007/3-540-45013-0_21 db/conf/lopstr/lopstr2002.html#BragaHMM02