(. J. Hill, ? Data Parallel Haskell : Mixing old and new glue. ? Rapport technique n611, QMW CS, 1992.

(. G. Li and . Et-gopalakrishnan, Scalable SMT-based verification of GPU kernel functions, Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering, FSE '10, pp.187-196, 2010.
DOI : 10.1145/1882291.1882320

. Lisper, ? Towards parallel programming models for predictability In : 12th International Workshop on Worst-Case Execution Time Analysis, pp.48-58, 2012.