The actual, non-outdated link is here: https://www.eiffel.com/values/design-by-contract/introductio...