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