29.15.1. x86 official bibliography