A Smalltalk evolving algebra and its uses.