Certified Programs and Proofs - Hawblitzel; Miller, Dale (Springer Berlin Heidelberg, 2012)