Safe and Secure: Ada 2012 https://www.adacore.com/knowledge/technical-papers/safe-and-secure-software-an-invitation-to-ada-2012/ (criticises C, many other languages have adopted some ideas, but the subtyping is elegant)