books.google.com.ua - Procedural languages are generally well understood and their formal foundations cast in the forms of various lambda-calculi. For object- oriented languages however the situation is not as clear-cut. In this book the authors propose and develop a different approach by developing object calculi in which...https://books.google.com.ua/books/about/A_Theory_of_Objects.html?hl=uk&id=4xT3LgCPP5UC&utm_source=gb-gplus-shareA Theory of Objects
