Poetzsch-Heffterand Müller. Logical Foundations for Typed Object-oriented Languages. Springer US, 1998, doi:10.1007/978-0-387-35358-6_26.