Bei Intel gibt es u.a. auch Tabellen mit dem kompletten Befehlssatz:
http://www.intel.com/design/pentium4.../index_new.htm
Allerdings finde ich aktuell nicht mehr die Stelle, wo man sich die gedruckte Version bestellen kann. Dort gibt's also im Moment scheinbar nur die PDFs.