Gary T. Leavens, David A. Naumann. An Illustrated Guide to the Model Theory of Supertype Abstraction and Behavioral Subtyping. In Jonathan P. Bowen, Zhiming Liu 0001, Zili Zhang, editors, Engineering Trustworthy Software Systems - Third International School, SETSS 2017, Chongqing, China, April 17-22, 2017, Tutorial Lectures. Volume 11174 of Lecture Notes in Computer Science, pages 39-88, Springer, 2017. [doi]
Abstract is missing.