Matthias Neubauer Peter Thiemann From sequential programs to multi-tier applications by program transformation. 221-232 2005 conf/popl/2005 POPL http://doi.acm.org/10.1145/1040305.1040324 db/conf/popl/popl2005.html#NeubauerT05