Masaki Nakamura Weiqiang Kong Kazuhiro Ogata Kokichi Futatsugi A Specification Translation from Behavioral Specifications to Rewrite Specifications. 1492-1503 2008 91-D IEICE Transactions 5 http://dx.doi.org/10.1093/ietisy/e91-d.5.1492 db/journals/ieicet/ieicet91d.html#NakamuraKOF08