Behavioral Subtyping, Specification Inheritance, and Modular Reasoning. - Leavens, Gary T.; Naumann, David A. (ACM Trans. Program. Lang. Syst., 2015)