C. Augonnet, S. Thibault, R. Namyst, and P. Wacrenier, StarPU: A Unified Platform for Task Scheduling on Heterogeneous Multicore Architectures, Euro-Par, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00384363

R. D. Blumofe and C. E. Leiserson, Scheduling multithreaded computations by work stealing, Journal of the ACM, vol.46, issue.5, pp.720-748, 1999.
DOI : 10.1145/324133.324234

D. Chase and Y. Lev, Dynamic circular work-stealing deque, Proceedings of the 17th annual ACM symposium on Parallelism in algorithms and architectures , SPAA'05, 2005.
DOI : 10.1145/1073970.1073974

M. Frigo, C. E. Leiserson, and K. H. Randall, The implementation of the Cilk-5 multithreaded language, PLDI, 1998.

T. Gautier, X. Besseron, and L. Pigeon, KAAPI, Proceedings of the 2007 international workshop on Parallel symbolic computation, PASCO '07, 2007.
DOI : 10.1145/1278177.1278182
URL : https://hal.archives-ouvertes.fr/hal-00647474

J. Wg14, Programming languages ? C, Committee Draft, ISO/IEC, 2011.

S. Mador-haim, L. Maranget, S. Sarkar, K. Memarian, J. Alglave et al., An Axiomatic Memory Model for POWER Multiprocessors, CAV, 2012.
DOI : 10.1007/978-3-642-31424-7_36
URL : https://hal.archives-ouvertes.fr/hal-01100773

L. Maranget, S. Sarkar, and P. Sewell, A tutorial introduction to the ARM and POWER relaxed memory model, 2012.

M. M. Michael, M. T. Vechev, and V. A. Saraswat, Idempotent work stealing, PPOPP, 2009.

S. Sarkar, P. Sewell, J. Alglave, L. Maranget, and D. Williams, Understanding POWER multiprocessors, PLDI, 2011.
DOI : 10.1145/2345156.1993520
URL : https://hal.archives-ouvertes.fr/hal-01100824

P. Sewell, S. Sarkar, S. Owens, F. Z. Nardelli, and M. O. Myreen, x86-TSO, Communications of the ACM, vol.53, issue.7, pp.89-97, 2010.
DOI : 10.1145/1785414.1785443

A. Terekhov, Brief tentative example x86 implementation for C/C++ memory model, 1933.