Juan Bicarregui Kevin Lano T. S. E. Maibaum Towards a compositional interpretation of object diagrams. 187-211 1997 conf/alc/1997 Algorithmic Languages and Calculi db/conf/alc/alc1997.html#BicarreguiLM97