Trustworthy Compilers - inbunden, Engelska, 2010