About case statements in Ada and how they are a bit special, compared to in many other languages.

The presentation also mentions subtypes (subsets). Some Ada 2012 features are used.