Contracts in Inheritance - Behavioral Subtyping: Beyond Syntax to Semantics | OneNoughtOne