Besnard, L. (2009) “Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form”, Electronic Communications of the EASST, 23. doi: 10.14279/tuj.eceasst.23.312.