ajs@prg.ox.ac.uk (Adolfo Socorro) (05/14/91)
I am conducting a survey on approaches to formalising object-oriented computation. If you could contribute with references, or personal experiences, I would be very thankful. Any concrete examples or general approaches would be of interest. I will post a summary of replies. Thank you. Adolfo Socorro