Title: Object-oriented design in ADA