The Substitution Principle

With Jeannette Wing, she formalized conditions under which subtype objects can safely stand in for base-type objects; the principle is about behavioral contracts, not merely matching method signatures.