Shilpi Goel, Anna Slobodová, Rob Sumners, Sol Swords: Verifying x86 instruction implementations. CPP 2020: 47-60