Pitu, M., Grijincu, D., Li, P., Saleem, A., Monahan, Rosemary and O'Donoghue, Diarmuid (2013) ArĂs: Analogical Reasoning for reuse of Implementation & Specification. Proceedings of AI4FM 2013.