Christian J. Bell: Certifiably Sound Parallelizing Transformations. CPP 2013: 227-242