Behavioral subtyping

ウィキペディアから