Approximate Retrieval of Incomplete and Formal Specifications applied to horizontal reuse | Publicación