• The Ada 95 Rationale
• The Ada 95 Language Reference Manual
• GNAT Reference Manual
• The Ada Style Guide
• Ada Information Clearinghouse
• Home of the Brave Ada Programmers - HBAP
• AdaPower
• Ada Core Technologies - ACT
• comp.lang.ada

     Xilinx Documentations

• EDK Documentation
• EDK FPGA Examples

• The UPPAAL Model-Checking Timed-Automata Tool

• ESL Reading List