published in Proceedings of the Conference on Technology of Object-Oriented Languages and Systems, TOOLS Journal
