PowerAda Use the Tutorials!
From OC Systems Wiki!
Appendix D, "Demos and Tutorials", contains a number of useful tutorials that illustrate various PowerAda feature and procedures. Before you proceed any further, we strongly recommend that you take advantage of them.