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