Foundations of object-oriented languages | ACM SIGPLAN Notices | DeepDyve