This chapter contains references to specifications, publications and tools referenced by other sections of this guide that may be useful in the development of UEFI Drivers. Find more information about UEFI tables, UEFI protocols, UEFI GUIDs, UEFI device types and UEFI status codes in the UEFI Specification at http://uefi.org/specifications. This same information is also available from the Doxygen-generated help documents in the UDK2010 MdePkg. All source code examples in this guide follow the C coding style defined in the EDK II C Coding Standard Specification.