Christoph A. Herrmann Christian Lengauer Using Metaprogramming to Parallelize Functional Specifications. 193-210 2002 12 Parallel Processing Letters 2 http://dx.doi.org/10.1142/S0129626402000926 db/journals/ppl/ppl12.html#HerrmannL02