A few weeks ago I wrote about the High-integrity object-oriented programming with Ada articles by Benjamin Brosgol. While I was away on vacation, part 3 was made available:
Be sure to check out these articles if you’re interested in how Ada does OOP.