P. Bottoni, N. Mirenkov, Y. Watanobe, and R. Yoshioka, “Composing control flow and formula rules for computing on grids”, eceasst, vol. 10, Jul. 2008.