1. LO Andersen. "Program analysis and specialization for the C programming language". In : (1994). LO Andersen. "Program analysis and specialization for the C programming language". In : (1994).
2. Esben Andreasen Casper S. Jensen Asger Feldthaus Peter A. Jonsson Anders Møller Simon Holm Jensen et Magnus Madsen. Improving Tools for JavaScript Programmers. Esben Andreasen Casper S. Jensen Asger Feldthaus Peter A. Jonsson Anders Møller Simon Holm Jensen et Magnus Madsen. Improving Tools for JavaScript Programmers .
3. A trusted mechanised JavaScript specification
4. Programming parallelism with futures in lustre
5. P Gardner et G Smith. "JuS: Squeezing the sense out of javascript programs". In : JSTools@ ECOOP (2013). P Gardner et G Smith. "JuS: Squeezing the sense out of javascript programs". In : JSTools@ ECOOP (2013).