Good Ada Type System Tutorial

I have finally learned the bare basics of Ada, that is, basic I/O, variables, loops & branching, arrays, etc.. Now, I want to learn about that super strict type system. I need to find a tutorial covering the type statement, and how to use it, packages, and basic OOP. Can anyone point me to a tutorial for these things? I have checked university.adacore.com, and found a bit on packages, but I need more.
Topic archived. No new replies allowed.