Formal Verification of Just-in-Time Compilation - Barrière, Aurèle. (ACM Books,)