Gregory Blanc, Youki Kadobayashi: A Step towards Static Script Malware Abstraction: Rewriting Obfuscated Script with Maude. IEICE Trans. Inf. Syst. 94-D(11): 2159-2166 (2011)