Certified Programs and Proofsde Chris Hawblitzel, Dale MillerEdiciones (1)Certified Programs and Proofs (2013)Springer · ISBN 9783642353093