Marley, Vorobiev, Krylov, Petrov, and Bykov, “Automation of software paralleling”, SP, vol. 2, no. 2, pp. 101-110, Apr. 2005.