Krzysztof Palacz Jason Baker Chapman Flack Christian Grothoff Hiroshi Yamauchi Jan Vitek Engineering a common intermediate representation for the Ovm framework. 357-378 2005 57 Sci. Comput. Program. 3 http://dx.doi.org/10.1016/j.scico.2004.08.007 db/journals/scp/scp57.html#PalaczBFGYV05