RIng Theory: Factor (Quotient) Rings + Proof
Ring Theory: Fundamental Theorem of Homomorphisms for Rings
Real-Time Systems: Ravenscar Ada, Timing
Real-Time Systems: Ravenscar Ada, Real-Time Abstractions