"Everything is an Object" by LucaCardelli (based on joint work with MartinAbadi). Available at http://lucacardelli.name/Talks/1997-06%20Everything%20is%20an%20Object%20%28ECOOP%20Prototypes%20Workshop%29.pdf ---- See also EverythingIsa