Kanth Miriyala, Mehdi T. Harandi. Analogical approach to specification derivation. In Sol J. Greenspan, editor, Proceedings of the 5th International Workshop on Software Specification and Design, IWSSD 1989, Pittsburgh, Pennsylvania, USA, 1989. pages 203-210, ACM, 1989. [doi]
Abstract is missing.