Commentary by cpressey on x86 works

Mastering Turbo Assembler

80386 -- A Programming and Design Handbook

The x86 PC

IA-64 for Software Developers

PC Assembly Book

This was earlier found at this web page: https://web.archive.org/web/20170701000000*/http://www.drpaulcarter.com/pcasm/ which is no longer relevant to this work (it's now some spam about assembling PC's), but has a long history on the Internet Archive.

8086 Microprocessor Cheatsheet

code challenge - Emulate an Intel 8086 CPU

Can one isolate processes on a 8086?

zwegner/x86-sat: Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs

ia32-doc/ia32-doc: IA32-doc is a project which aims to put as many definitions from the Intel Manual into machine-processable format as possible