Juan Bicarregui, Kevin Lano, T. S. E. Maibaum. Formalizing Object-Oriented Models in the Object Calculus. In Jan Bosch, Stuart Mitchell, editors, Object-Oriented Technology, ECOOP 97 Workshop Reader, ECOOP 97 Workshops, Jyväskylä, Finland, June 9-13, 1997. Volume 1357 of Lecture Notes in Computer Science, pages 155-160, Springer, 1997. [doi]
Abstract is missing.