17. References

• Kennedy, Benton, Jensen, Dagand. "Coq: The World's Best Macro Assembler?" PPDP 2013

• Intel 64 and IA-32 Architectures Software Developer's Manual

• x86proved: https://github.com/msr-quarc/x86proved