D. Gregg, M.A. Ertl: "A Language and Tool for Generating Efficient Virtual Machine Interpreters"; Lecture Notes in Computer Science, 3016 (2004), 196 - 215.
http://aleph.ub.tuwien.ac.at/F?base=tuw01&func=find-c&ccl_term=AC05936387