Specification of Intel IA-32 Using an Architecture Description Language. - Jeff Bastian; Soner Önder (IFIP-WADL, 2004)