Added comments about "High-Integrity Object-Oriented Programming in Ada" by
AdaCore.