Yujian Fu Zhijiang Dong Junhua Ding Xudong He Mapping Software Architecture Specification to Rewriting Logic (Short Paper). 376-381 2008 QSIC http://doi.ieeecomputersociety.org/10.1109/QSIC.2008.16 conf/qsic/2008 db/conf/qsic/qsic2008.html#FuDDH08