Topics in LRM Clause 8.4 are discussed in the following sections of Ada 95 Problem Solving and Program Design:
Section 7.2: System Structures: More on Ada.Numerics; the USE Clause (use)
Section 10.4: System Structures: Writing an ADT for Money Quantities (usetype)
LRM Clause 8.6
Topics in LRM Clause 8.6 are discussed in the following sections of Ada 95 Problem Solving and Program Design:
Section 5.8: System Structures: A Useful Functions Package and the Overloading Principle (overloading)
Section 10.4: System Structures: Writing an ADT for Money Quantities (opoverload)