http://lucacardelli.name/TheoryOfObjects.html http://lucacardelli.name/TheoryOfObjects.html https://mitpress.mit.edu/books/theoretical-aspects-object-oriented-

http://lucacardelli.name/TheoryOfObjects.html http://lucacardelli.name/TheoryOfObjects.html https://mitpress.mit.edu/books/theoretical-aspects-object-oriented-programming https://mitpress.mit.edu/books/theoretical-aspects-object-or... I'm not any of the ones who wrote those, so I will just accept 10% of your reward :).