To Avoid Substitution Anomalies...

• PRINCIPLE: If two objects' sync. behavior differs, they should not be made substitutable by the language's type system.
• Related works:
  • POOL-I (America) --- Doesn't handle inheritance anomalies.
  • Liskov and Wing --- Sequential settings.
  • Regular Types (Nierstrasz) --- Not tied to actual language.