ACM Transactions on Programming Languages and Systems January 1997 p 153 Implementing Signatures for C++ by Gerald Baumgartner & Vincent F. Russo (Note: Russo) retroactive abstraction