Title: Foundations of Object-Oriented Languages