An ADL for Functional Specification of IA32. - Wei Qin; Asa Ben-Tzur; Boris Gutkovich (MTV, 2007)