Laurence H. Cooke. Re-implementation synthesis. In Thirty-Fourth IEEE Computer Society International Conference: Intellectual Leverage, COMPCON Spring 89, San Francisco, CA, USA, February 27 - March 3, 1989, Digest of Papers. pages 462-468, IEEE, 1989. [doi]